geologic term

Deductions

• geologic term has quality class ⇐ (existence is a class), (geologic term has quality existence)
• second-order class is for example geologic term ⇐ (geologic term is a second-order class), (is a is inverse of is for example)
• entity is for example geologic term ⇐ (geologic term is a entity), (is a is inverse of is for example)
• geologic term has quality existence ⇐ (geologic term is a entity), (entity has quality existence)
• geologic term is a entity ⇐ (second-order class is subclass of entity), (geologic term is a second-order class)
• geologic term is for example depression ⇐ (depression is a geologic term), (is a is inverse of is for example)