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