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