Deductions
- class of election has part concept ⇐ (class is a concept), (class of election has part class)
- class of election has part class ⇐ (class is a class), (class of election has part class)
- class of election has quality class ⇐ (quality is a class), (class of election has quality quality)
- class is for example class of election ⇐ (class of election is a class), (is a is inverse of is for example)
- class of election is a class ⇐ (abstract entity is subclass of class), (class of election is a abstract entity)
- class of election has quality abstract entity ⇐ (type is a abstract entity), (class of election has quality type)
- class of election has part class ⇐ (entity is a class), (class of election has part entity)
- abstract entity is for example class of election ⇐ (class of election is a abstract entity), (is a is inverse of is for example)
- class of election has quality superclass ⇐ (class of election is a abstract entity), (abstract entity has quality superclass)
- class of election has quality taxonomic rank ⇐ (class of election is a abstract entity), (abstract entity has quality taxonomic rank)
- class of election has quality existence ⇐ (class of election has quality entity), (entity has quality existence), (has quality is a transitive relation)
- class of election is a abstract entity ⇐ (metaclass is subclass of abstract entity), (class of election is a metaclass)
- class of election has quality entity ⇐ (type is a entity), (class of election has quality type)
- entity is for example class of election ⇐ (class of election is a entity), (is a is inverse of is for example)
- class of election is a entity ⇐ (metaclass is subclass of entity), (class of election is a metaclass)
- class of election has quality type ⇐ (criterion is a type), (class of election has quality criterion)
- class of election has quality criterion ⇐ (class of election is subclass of class), (class has quality criterion)
- class of election has quality quality ⇐ (class of election is subclass of class), (class has quality quality)
- class of election has quality property ⇐ (class of election is subclass of class), (class has quality property)
- class of election has part variable-order class ⇐ (entity is a variable-order class), (class of election has part entity)
- class of election has part entity ⇐ (class of election is subclass of class), (class has part entity)
- metaclass is for example class of election ⇐ (class of election is a metaclass), (is a is inverse of is for example)
- class of election is for example South African presidential election ⇐ (South African presidential election is a class of election), (is a is inverse of is for example)