Deductions
- fixed-order class of higher order has quality superclass ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality superclass)
- fixed-order class of higher order has quality class ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality class)
- variable-order class is for example fixed-order class of higher order ⇐ (fixed-order class of higher order is a variable-order class), (is a is inverse of is for example)
- fixed-order class of higher order is subclass of abstract entity ⇐ (fixed-order class of higher order is subclass of fixed-order class), (fixed-order class is subclass of abstract entity), (is subclass of is a transitive relation)
- fixed-order class of higher order is subclass of entity ⇐ (fixed-order class of higher order is subclass of fixed-order class), (fixed-order class is subclass of entity), (is subclass of is a transitive relation)
- fixed-order class of higher order is subclass of class ⇐ (fixed-order class of higher order is subclass of fixed-order class), (fixed-order class is subclass of class), (is subclass of is a transitive relation)
- fixed-order class of higher order has quality abstract entity ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality abstract entity)
- fixed-order class of higher order has quality superclass ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality superclass)
- fixed-order class of higher order has quality entity ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality entity)
- fixed-order class of higher order has quality property ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality property)
- fixed-order class of higher order has quality taxonomic rank ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality taxonomic rank)
- fixed-order class of higher order has quality type ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality type)
- fixed-order class of higher order has quality criterion ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality criterion)
- fixed-order class of higher order has quality type of property ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality type of property)
- fixed-order class of higher order has quality quality ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality quality)
- fixed-order class of higher order has quality class ⇐ (fixed-order class of higher order is a variable-order class), (variable-order class has quality class)
- fixed-order class of higher order has quality existence ⇐ (fixed-order class of higher order is subclass of fixed-order class), (fixed-order class has quality existence)
- 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)