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