term logic In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by ...

, a ''genus'' is one of the predicables; it is that part of a

definition A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitio ...

which is also predicable of other things different from the '' definiendum''. E.g., ''figure'' in the definition: ''A triangle is a rectilinear figure''. In fixing the genus of a thing, we subsume it under a higher universal, of which it is a

species A species () is often defined as the largest group of organisms in which any two individuals of the appropriate sexes or mating types can produce fertile offspring, typically by sexual reproduction. It is the basic unit of Taxonomy (biology), ...

See also