aircraft model

Deductions

• aircraft model has quality class ⇐ (existence is a class), (aircraft model has quality existence)
• entity is for example aircraft model ⇐ (aircraft model is a entity), (is a is inverse of is for example)
• aircraft model has quality existence ⇐ (aircraft model is a entity), (entity has quality existence)
• aircraft model is a entity ⇐ (second-order class is subclass of entity), (aircraft model is a second-order class)
• fixed-order class is for example aircraft model ⇐ (aircraft model is a fixed-order class), (is a is inverse of is for example)
• second-order class is for example aircraft model ⇐ (aircraft model is a second-order class), (is a is inverse of is for example)
• aircraft model is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (aircraft model is a second-order class)