Deductions
- rank is for example item ⇐ (item is a rank), (is a is inverse of is for example)
- rank is for example fonds ⇐ (fonds is a rank), (is a is inverse of is for example)
- fonds is a rank ⇐ (level of description is subclass of rank), (fonds is a level of description)
- item is a rank ⇐ (level of description is subclass of rank), (item is a level of description)
- rank is for example genus ⇐ (genus is a rank), (is a is inverse of is for example)
- rank is for example species ⇐ (species is a rank), (is a is inverse of is for example)
- rank is for example superclass ⇐ (superclass is a rank), (is a is inverse of is for example)
- rank is subclass of entity ⇐ (rank is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- type of language is subclass of rank ⇐ (type of language is subclass of languoid class), (languoid class is subclass of rank), (is subclass of is a transitive relation)
- rank is subclass of abstract entity ⇐ (rank is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- genus is a rank ⇐ (taxonomic rank is subclass of rank), (genus is a taxonomic rank)
- species is a rank ⇐ (taxonomic rank is subclass of rank), (species is a taxonomic rank)
- superclass is a rank ⇐ (taxonomic rank is subclass of rank), (superclass is a taxonomic rank)