Deductions
- reflexive relation has quality type ⇐ (reflexive relation has quality class), (class has quality type), (has quality is a transitive relation)
- reflexive relation has quality type of property ⇐ (reflexive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- reflexive relation has quality criterion ⇐ (reflexive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- reflexive relation has quality quality ⇐ (reflexive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- reflexive relation has quality property ⇐ (reflexive relation has quality class), (class has quality property), (has quality is a transitive relation)
- reflexive relation has quality class ⇐ (set is a class), (reflexive relation has quality set)
- reflexive relation has quality class ⇐ (quality is a class), (reflexive relation has quality quality)
- reflexive relation has quality number of entities ⇐ (reflexive relation has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- reflexive relation has quality arity ⇐ (reflexive relation has quality relation), (relation has quality arity), (has quality is a transitive relation)
- reflexive relation has quality type ⇐ (reflexive relation has quality class), (class has quality type), (has quality is a transitive relation)
- reflexive relation has quality type of property ⇐ (reflexive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- reflexive relation has quality criterion ⇐ (reflexive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- reflexive relation has quality quality ⇐ (reflexive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- reflexive relation has quality property ⇐ (reflexive relation has quality class), (class has quality property), (has quality is a transitive relation)
- reflexive relation has quality class ⇐ (set is a class), (reflexive relation has quality set)
- reflexive relation is opposite of non-reflexive relation ⇐ non-reflexive relation is opposite of reflexive relation
- other is subclass of reflexive relation ⇐ (identity is subclass of reflexive relation), (identity is opposite of other)
- difference is subclass of reflexive relation ⇐ (identity is subclass of reflexive relation), (identity is opposite of difference)
- reflexive relation is subclass of non-reflexive relation ⇐ (irreflexive relation is subclass of non-reflexive relation), (irreflexive relation is opposite of reflexive relation)
- reflexive relation has quality relation ⇐ (reflexive relation has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- reflexive relation has quality set ⇐ (reflexive relation has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- reflexive relation has quality abstract entity ⇐ (reflexivity is a abstract entity), (reflexive relation has quality reflexivity)
- reflexive relation has quality mathematical object ⇐ (reflexivity is a mathematical object), (reflexive relation has quality reflexivity)
- reflexive relation has quality entity ⇐ (taxonomic rank is a entity), (reflexive relation has quality taxonomic rank)
- reflexive relation has quality class ⇐ (reflexivity is a class), (reflexive relation has quality reflexivity)
- reflexive relation has quality existence ⇐ (reflexive relation is subclass of abstract entity), (abstract entity has quality existence)
- reflexive relation has quality superclass ⇐ (reflexive relation is subclass of abstract entity), (abstract entity has quality superclass)
- reflexive relation has quality taxonomic rank ⇐ (reflexive relation is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- reflexive relation is subclass of entity ⇐ (reflexive relation is subclass of binary relation), (binary relation is subclass of entity), (is subclass of is a transitive relation)
- reflexive relation is subclass of abstract entity ⇐ (reflexive relation is subclass of binary relation), (binary relation is subclass of abstract entity), (is subclass of is a transitive relation)
- reflexive relation is subclass of relation ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of relation), (is subclass of is a transitive relation)
- reflexive relation is subclass of mathematical object ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of mathematical object), (is subclass of is a transitive relation)
- reflexive relation is subclass of class ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of class), (is subclass of is a transitive relation)
- reflexive relation is subclass of set ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
- reflexive relation is subclass of binary relation ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- reflexive relation has quality mathematical property ⇐ (reflexivity is a mathematical property), (reflexive relation has quality reflexivity)