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