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