Deductions
- mathematical term has quality class ⇐ (existence is a class), (mathematical term has quality existence)
- class is for example mathematical term ⇐ (mathematical term is a class), (is a is inverse of is for example)
- mathematical term is a class ⇐ (abstract entity is subclass of class), (mathematical term is a abstract entity)
- abstract entity is for example mathematical term ⇐ (mathematical term is a abstract entity), (is a is inverse of is for example)
- mathematical term has quality entity ⇐ (mathematical term is a abstract entity), (abstract entity has quality entity)
- mathematical term has quality superclass ⇐ (mathematical term is a abstract entity), (abstract entity has quality superclass)
- mathematical term has quality taxonomic rank ⇐ (mathematical term is a abstract entity), (abstract entity has quality taxonomic rank)
- mathematical term is a abstract entity ⇐ (metaclass is subclass of abstract entity), (mathematical term is a metaclass)
- entity is for example mathematical term ⇐ (mathematical term is a entity), (is a is inverse of is for example)
- mathematical term has quality existence ⇐ (mathematical term is a entity), (entity has quality existence)
- mathematical term is a entity ⇐ (metaclass is subclass of entity), (mathematical term is a metaclass)
- metaclass is for example mathematical term ⇐ (mathematical term is a metaclass), (is a is inverse of is for example)
- mathematical term is subclass of linguistic form ⇐ (mathematical term is subclass of technical term), (technical term is subclass of linguistic form), (is subclass of is a transitive relation)
- mathematical term is subclass of linguistic unit ⇐ (mathematical term is subclass of technical term), (technical term is subclass of linguistic unit), (is subclass of is a transitive relation)
- mathematical term is subclass of word or phrase ⇐ (mathematical term is subclass of technical term), (technical term is subclass of word or phrase), (is subclass of is a transitive relation)
- mathematical term is subclass of term ⇐ (mathematical term is subclass of technical term), (technical term is subclass of term), (is subclass of is a transitive relation)
- mathematical term is subclass of abstract entity ⇐ (mathematical term is subclass of technical term), (technical term is subclass of abstract entity), (is subclass of is a transitive relation)
- mathematical term is subclass of unit ⇐ (mathematical term is subclass of technical term), (technical term is subclass of unit), (is subclass of is a transitive relation)