Deductions
- symmetric relation has quality class ⇐ (quality is a class), (symmetric relation has quality quality)
- symmetric relation has quality abstract entity ⇐ (arity is a abstract entity), (symmetric relation has quality arity)
- symmetric relation has quality entity ⇐ (taxonomic rank is a entity), (symmetric relation has quality taxonomic rank)
- symmetric relation has quality class ⇐ (symmetry is a class), (symmetric relation has quality symmetry)
- symmetric relation has quality mathematical object ⇐ (arity is a mathematical object), (symmetric relation has quality arity)
- symmetric relation has quality type ⇐ (symmetry is a type), (symmetric relation has quality symmetry)
- symmetric relation has quality class ⇐ (type of property is a class), (symmetric relation has quality type of property)
- symmetric relation has quality existence ⇐ (symmetric relation is subclass of class), (class has quality existence)
- symmetric relation has quality mathematical property ⇐ (symmetric relation is subclass of mathematical object), (mathematical object has quality mathematical property)
- symmetric relation has quality taxonomic rank ⇐ (symmetric relation is subclass of mathematical object), (mathematical object has quality taxonomic rank)
- symmetric relation has quality relation ⇐ (symmetric relation is subclass of mathematical object), (mathematical object has quality relation)
- symmetric relation has quality set ⇐ (symmetric relation is subclass of mathematical object), (mathematical object has quality set)
- symmetric relation has quality superclass ⇐ (symmetric relation is subclass of mathematical object), (mathematical object has quality superclass)
- symmetric relation has quality property ⇐ (symmetric relation has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- symmetric relation has quality quality ⇐ (symmetric relation has quality type of property), (type of property has quality quality), (has quality is a transitive relation)
- symmetric relation has quality criterion ⇐ (symmetric relation has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- symmetric relation is subclass of relation ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of relation), (is subclass of is a transitive relation)
- symmetric relation is subclass of binary relation ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- symmetric relation is subclass of mathematical object ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of mathematical object), (is subclass of is a transitive relation)
- symmetric relation is subclass of class ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of class), (is subclass of is a transitive relation)
- symmetric relation is subclass of set ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
- symmetric relation has quality type of property ⇐ (symmetry is a type of property), (symmetric relation has quality symmetry)
- symmetric relation has quality number of entities ⇐ (arity is subclass of number of entities), (symmetric relation has quality arity)
- symmetric relation has quality symmetry ⇐ (symmetry is subclass of symmetry), (symmetric relation has quality symmetry)
- symmetric relation has quality arity ⇐ (symmetric relation is subclass of endorelation), (endorelation has quality arity)