Deductions
- fifth-order class has quality class ⇐ (fifth-order class is a entity), (entity has quality class)
- fifth-order class has quality existence ⇐ (fifth-order class is a class), (class has quality existence)
- fifth-order class has quality entity ⇐ (fifth-order class is a class), (class has quality entity)
- fifth-order class has quality taxonomic rank ⇐ (fifth-order class is a class), (class has quality taxonomic rank)
- fifth-order class has quality superclass ⇐ (fifth-order class is a class), (class has quality superclass)
- fixed-order class is for example fifth-order class ⇐ (fifth-order class is a fixed-order class), (is a is inverse of is for example)
- abstract entity is for example fifth-order class ⇐ (fifth-order class is a abstract entity), (is a is inverse of is for example)
- entity is for example fifth-order class ⇐ (fifth-order class is a entity), (is a is inverse of is for example)
- class is for example fifth-order class ⇐ (fifth-order class is a class), (is a is inverse of is for example)
- fifth-order class is a class ⇐ (abstract entity is subclass of class), (fifth-order class is a abstract entity)
- fifth-order class is a fixed-order class ⇐ (fixed-order class of higher order is subclass of fixed-order class), (fifth-order class is a fixed-order class of higher order)
- fifth-order class is a entity ⇐ (fixed-order class of higher order is subclass of entity), (fifth-order class is a fixed-order class of higher order)
- fifth-order class is a abstract entity ⇐ (fixed-order class of higher order is subclass of abstract entity), (fifth-order class is a fixed-order class of higher order)
- fixed-order class of higher order is for example fifth-order class ⇐ (fifth-order class is a fixed-order class of higher order), (is a is inverse of is for example)
- fifth-order class is for example fourth-order class ⇐ (fourth-order class is a fifth-order class), (is a is inverse of is for example)