first-order class

Deductions

• first-order class has quality class ⇐ (existence is a class), (first-order class has quality existence)
• second-order class is for example first-order class ⇐ (first-order class is a second-order class), (is a is inverse of is for example)
• first-order class is for example machine ⇐ (machine is a first-order class), (is a is inverse of is for example)
• entity is for example first-order class ⇐ (first-order class is a entity), (is a is inverse of is for example)
• first-order class has quality existence ⇐ (first-order class is a entity), (entity has quality existence)
• first-order class is a entity ⇐ (second-order class is subclass of entity), (first-order class is a second-order class)
• first-order class is for example human settlement ⇐ (human settlement is a first-order class), (is a is inverse of is for example)
• first-order class is for example educational institution ⇐ (educational institution is a first-order class), (is a is inverse of is for example)
• first-order class is for example award ⇐ (award is a first-order class), (is a is inverse of is for example)