Deductions
- aircraft class has quality class ⇐ (aircraft class has quality quality), (quality has quality class), (has quality is a transitive relation)
- aircraft class has part class ⇐ (entity is a class), (aircraft class has part entity)
- aircraft class is subclass of class ⇐ (aircraft class is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- aircraft class is subclass of entity ⇐ (aircraft class is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- aircraft class is subclass of abstract entity ⇐ (aircraft class is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- second-order class is for example aircraft class ⇐ (aircraft class is a second-order class), (is a is inverse of is for example)
- aircraft class has quality class ⇐ (aircraft class has quality quality), (quality has quality class), (has quality is a transitive relation)
- aircraft class has quality abstract entity ⇐ (type is a abstract entity), (aircraft class has quality type)
- aircraft class has quality type ⇐ (aircraft class is subclass of class), (class has quality type)
- aircraft class has quality superclass ⇐ (aircraft class is subclass of class), (class has quality superclass)
- aircraft class has quality type of property ⇐ (aircraft class is subclass of class), (class has quality type of property)
- aircraft class has quality existence ⇐ (aircraft class is subclass of class), (class has quality existence)
- aircraft class has quality criterion ⇐ (aircraft class is subclass of class), (class has quality criterion)
- aircraft class has quality quality ⇐ (aircraft class is subclass of class), (class has quality quality)
- aircraft class has quality property ⇐ (aircraft class is subclass of class), (class has quality property)
- aircraft class has quality entity ⇐ (aircraft class is subclass of class), (class has quality entity)
- aircraft class has quality taxonomic rank ⇐ (aircraft class is subclass of class), (class has quality taxonomic rank)
- aircraft class has part entity ⇐ (aircraft class is subclass of class), (class has part entity)
- aircraft class has part variable-order class ⇐ (aircraft class is subclass of class), (class has part variable-order class)
- aircraft class is for example aircraft lift-power class ⇐ (aircraft lift-power class is a aircraft class), (is a is inverse of is for example)