Deductions
- rank is for example species ⇐ (species is a rank), (is a is inverse of is for example)
- abstract entity is for example species ⇐ (species is a abstract entity), (is a is inverse of is for example)
- class is for example species ⇐ (species is a class), (is a is inverse of is for example)
- entity is for example species ⇐ (species is a entity), (is a is inverse of is for example)
- taxonomic rank is for example species ⇐ (species is a taxonomic rank), (is a is inverse of is for example)
- species is subclass of abstract entity ⇐ (species is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- species is subclass of class ⇐ (species is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- species is subclass of class ⇐ (species is subclass of taxon), (taxon is subclass of class), (is subclass of is a transitive relation)
- species is subclass of group or class of organisms ⇐ (species is subclass of taxon), (taxon is subclass of group or class of organisms), (is subclass of is a transitive relation)
- species is a entity ⇐ (abstract entity is subclass of entity), (species is a abstract entity)
- species is a abstract entity ⇐ (class is subclass of abstract entity), (species is a class)
- species is a class ⇐ (rank is subclass of class), (species is a rank)
- species is a rank ⇐ (taxonomic rank is subclass of rank), (species is a taxonomic rank)
- species has quality word or phrase ⇐ (name is subclass of word or phrase), (species has quality name)
- species has quality name ⇐ (scientific name is subclass of name), (species has quality scientific name)
- species has quality scientific name ⇐ (species is subclass of taxon), (taxon has quality scientific name)