independent continuant type

Deductions

• independent continuant type has quality class ⇐ (existence is a class), (independent continuant type has quality existence)
• entity is for example independent continuant type ⇐ (independent continuant type is a entity), (is a is inverse of is for example)
• independent continuant type has quality existence ⇐ (independent continuant type is a entity), (entity has quality existence)
• independent continuant type is a entity ⇐ (second-order class is subclass of entity), (independent continuant type is a second-order class)
• second-order class is for example independent continuant type ⇐ (independent continuant type is a second-order class), (is a is inverse of is for example)
• territorial entity type is subclass of independent continuant type ⇐ (territorial entity type is subclass of immaterial entity type), (immaterial entity type is subclass of independent continuant type), (is subclass of is a transitive relation)