Deductions
- irreflexivity has quality class ⇐ (abstract entity is a class), (irreflexivity has quality abstract entity)
- irreflexivity has quality abstract entity ⇐ (arity is a abstract entity), (irreflexivity has quality arity)
- irreflexivity has quality entity ⇐ (taxonomic rank is a entity), (irreflexivity has quality taxonomic rank)
- irreflexivity has quality mathematical object ⇐ (arity is a mathematical object), (irreflexivity has quality arity)
- mathematical object is for example irreflexivity ⇐ (irreflexivity is a mathematical object), (is a is inverse of is for example)
- set is for example irreflexivity ⇐ (irreflexivity is a set), (is a is inverse of is for example)
- abstract entity is for example irreflexivity ⇐ (irreflexivity is a abstract entity), (is a is inverse of is for example)
- relation is for example irreflexivity ⇐ (irreflexivity is a relation), (is a is inverse of is for example)
- class is for example irreflexivity ⇐ (irreflexivity is a class), (is a is inverse of is for example)
- entity is for example irreflexivity ⇐ (irreflexivity is a entity), (is a is inverse of is for example)
- irreflexivity has quality arity ⇐ (irreflexivity is a relation), (relation has quality arity)
- irreflexivity has quality number of entities ⇐ (irreflexivity is a relation), (relation has quality number of entities)
- irreflexivity has quality superclass ⇐ (irreflexivity is a class), (class has quality superclass)
- irreflexivity has quality taxonomic rank ⇐ (irreflexivity is a class), (class has quality taxonomic rank)
- irreflexivity has quality existence ⇐ (irreflexivity is a entity), (entity has quality existence)
- irreflexivity is a mathematical object ⇐ (mathematical property is subclass of mathematical object), (irreflexivity is a mathematical property)
- irreflexivity is a class ⇐ (mathematical property is subclass of class), (irreflexivity is a mathematical property)
- irreflexivity is a abstract entity ⇐ (set is subclass of abstract entity), (irreflexivity is a set)
- irreflexivity is a entity ⇐ (set is subclass of entity), (irreflexivity is a set)
- irreflexivity is a set ⇐ (reflexivity is a set), (reflexivity is opposite of irreflexivity)
- irreflexivity is a relation ⇐ (reflexivity is a relation), (reflexivity is opposite of irreflexivity)
- mathematical property is for example irreflexivity ⇐ (irreflexivity is a mathematical property), (is a is inverse of is for example)
- irreflexivity is opposite of reflexivity ⇐ reflexivity is opposite of irreflexivity