Deductions
- irreflexive relation has quality type ⇐ (irreflexive relation has quality class), (class has quality type), (has quality is a transitive relation)
- irreflexive relation has quality type of property ⇐ (irreflexive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- irreflexive relation has quality criterion ⇐ (irreflexive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- irreflexive relation has quality quality ⇐ (irreflexive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- irreflexive relation has quality property ⇐ (irreflexive relation has quality class), (class has quality property), (has quality is a transitive relation)
- irreflexive relation has quality class ⇐ (set is a class), (irreflexive relation has quality set)
- irreflexive relation has quality abstract entity ⇐ (set is a abstract entity), (irreflexive relation has quality set)
- irreflexive relation is subclass of entity ⇐ (irreflexive relation is subclass of relation), (relation is subclass of entity), (is subclass of is a transitive relation)
- irreflexive relation has part class ⇐ (type is a class), (irreflexive relation has part type)
- irreflexive relation has quality class ⇐ (irreflexive relation has quality quality), (quality has quality class), (has quality is a transitive relation)
- irreflexive relation has quality type ⇐ (irreflexive relation has quality class), (class has quality type), (has quality is a transitive relation)
- irreflexive relation has quality type of property ⇐ (irreflexive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- irreflexive relation has quality criterion ⇐ (irreflexive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- irreflexive relation has quality quality ⇐ (irreflexive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- irreflexive relation has quality property ⇐ (irreflexive relation has quality class), (class has quality property), (has quality is a transitive relation)
- irreflexive relation has quality class ⇐ (set is a class), (irreflexive relation has quality set)
- irreflexive relation has part abstract entity ⇐ (type is a abstract entity), (irreflexive relation has part type)
- irreflexive relation has part element ⇐ (irreflexive relation is subclass of set), (set has part element)
- irreflexive relation has part concept ⇐ (irreflexive relation is subclass of relation), (relation has part concept)
- irreflexive relation has part class ⇐ (irreflexive relation is subclass of relation), (relation has part class)
- irreflexive relation has part entity ⇐ (irreflexive relation is subclass of relation), (relation has part entity)
- irreflexive relation has part binary relation ⇐ (irreflexive relation is subclass of relation), (relation has part binary relation)
- irreflexive relation has part type of relation ⇐ (irreflexive relation is subclass of relation), (relation has part type of relation)
- irreflexive relation has part variable-order class ⇐ (irreflexive relation is subclass of relation), (relation has part variable-order class)
- irreflexive relation has part type ⇐ (irreflexive relation is subclass of relation), (relation has part type)
- irreflexive relation has part metaclass ⇐ (irreflexive relation is subclass of relation), (relation has part metaclass)
- irreflexive relation is subclass of endorelation ⇐ (reflexive relation is subclass of endorelation), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation is subclass of relation ⇐ (reflexive relation is subclass of relation), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation is subclass of set ⇐ (reflexive relation is subclass of set), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation has quality class ⇐ (irreflexivity is a class), (irreflexive relation has quality irreflexivity)
- irreflexive relation has quality abstract entity ⇐ (arity is a abstract entity), (irreflexive relation has quality arity)
- irreflexive relation has quality entity ⇐ (taxonomic rank is a entity), (irreflexive relation has quality taxonomic rank)
- irreflexive relation has quality mathematical object ⇐ (arity is a mathematical object), (irreflexive relation has quality arity)
- irreflexive relation has quality number of entities ⇐ (irreflexive relation is subclass of binary relation), (binary relation has quality number of entities)
- irreflexive relation has quality arity ⇐ (irreflexive relation is subclass of binary relation), (binary relation has quality arity)
- irreflexive relation is subclass of binary relation ⇐ (reflexive relation is subclass of binary relation), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation has quality mathematical property ⇐ (irreflexive relation is subclass of mathematical object), (mathematical object has quality mathematical property)
- irreflexive relation has quality relation ⇐ (irreflexive relation is subclass of mathematical object), (mathematical object has quality relation)
- irreflexive relation has quality set ⇐ (irreflexive relation is subclass of mathematical object), (mathematical object has quality set)
- irreflexive relation has quality existence ⇐ (irreflexive relation is subclass of abstract entity), (abstract entity has quality existence)
- irreflexive relation has quality superclass ⇐ (irreflexive relation is subclass of abstract entity), (abstract entity has quality superclass)
- irreflexive relation has quality taxonomic rank ⇐ (irreflexive relation is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- irreflexive relation is subclass of class ⇐ (reflexive relation is subclass of class), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation is subclass of mathematical object ⇐ (reflexive relation is subclass of mathematical object), (reflexive relation is opposite of irreflexive relation)
- irreflexive relation is subclass of abstract entity ⇐ (reflexive relation is subclass of abstract entity), (reflexive relation is opposite of irreflexive relation)