Deductions
- symmetry has quality abstract entity ⇐ (type is a abstract entity), (symmetry has quality type)
- symmetry has quality existence ⇐ (symmetry has quality entity), (entity has quality existence), (has quality is a transitive relation)
- symmetry has quality entity ⇐ (type is a entity), (symmetry has quality type)
- symmetry has quality entity ⇐ (taxonomic rank is a entity), (symmetry has quality taxonomic rank)
- mathematical object is for example symmetry ⇐ (symmetry is a mathematical object), (is a is inverse of is for example)
- entity is for example symmetry ⇐ (symmetry is a entity), (is a is inverse of is for example)
- abstract entity is for example symmetry ⇐ (symmetry is a abstract entity), (is a is inverse of is for example)
- class is for example symmetry ⇐ (symmetry is a class), (is a is inverse of is for example)
- symmetry has quality taxonomic rank ⇐ (symmetry is a class), (class has quality taxonomic rank)
- symmetry has quality superclass ⇐ (symmetry is a class), (class has quality superclass)
- symmetry has quality existence ⇐ (symmetry is a class), (class has quality existence)
- symmetry is a mathematical object ⇐ (mathematical property is subclass of mathematical object), (symmetry is a mathematical property)
- symmetry is a class ⇐ (mathematical property is subclass of class), (symmetry is a mathematical property)
- symmetry is a abstract entity ⇐ (set is subclass of abstract entity), (symmetry is a set)
- symmetry is a entity ⇐ (set is subclass of entity), (symmetry is a set)
- symmetry has quality type ⇐ (criterion is a type), (symmetry has quality criterion)
- symmetry has quality class ⇐ (type of property is a class), (symmetry has quality type of property)
- relation is for example symmetry ⇐ (symmetry is a relation), (is a is inverse of is for example)
- type of property is for example symmetry ⇐ (symmetry is a type of property), (is a is inverse of is for example)
- mathematical property is for example symmetry ⇐ (symmetry is a mathematical property), (is a is inverse of is for example)
- set is for example symmetry ⇐ (symmetry is a set), (is a is inverse of is for example)
- type is for example symmetry ⇐ (symmetry is a type), (is a is inverse of is for example)
- symmetry has quality type of property ⇐ (symmetry is a type), (type has quality type of property)
- symmetry has quality criterion ⇐ (symmetry is a type), (type has quality criterion)
- symmetry has quality quality ⇐ (symmetry is a type), (type has quality quality)
- symmetry has quality property ⇐ (symmetry is a type), (type has quality property)
- symmetry is subclass of entity ⇐ (symmetry is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- symmetry is subclass of entity ⇐ (symmetry is subclass of property), (property is subclass of entity), (is subclass of is a transitive relation)
- symmetry is subclass of property ⇐ (symmetry is subclass of symmetry), (symmetry is subclass of property), (is subclass of is a transitive relation)
- symmetry is subclass of abstract entity ⇐ (symmetry is subclass of symmetry), (symmetry is subclass of abstract entity), (is subclass of is a transitive relation)
- symmetry is subclass of abstract entity ⇐ (symmetry is subclass of property), (property is subclass of abstract entity), (is subclass of is a transitive relation)
- symmetry is a type ⇐ (type of property is subclass of type), (symmetry is a type of property)
- symmetry is a set ⇐ (relation is subclass of set), (symmetry is a relation)
- symmetry is a relation ⇐ (mathematical property is subclass of relation), (symmetry is a mathematical property)
- symmetric relation has quality symmetry ⇐ (symmetry is subclass of symmetry), (symmetric relation has quality symmetry)