Deductions
- heterogeneous relation has quality class ⇐ (quality is a class), (heterogeneous relation has quality quality)
- heterogeneous relation has quality relation ⇐ (heterogeneous relation has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- heterogeneous relation has quality set ⇐ (heterogeneous relation has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- heterogeneous relation has quality mathematical property ⇐ (heterogeneous relation has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- heterogeneous relation has quality existence ⇐ (heterogeneous relation has quality entity), (entity has quality existence), (has quality is a transitive relation)
- heterogeneous relation has quality type of object ⇐ (class is a type of object), (heterogeneous relation has quality class)
- heterogeneous relation has quality entity ⇐ (taxonomic rank is a entity), (heterogeneous relation has quality taxonomic rank)
- heterogeneous relation has quality mathematical object ⇐ (arity is a mathematical object), (heterogeneous relation has quality arity)
- heterogeneous relation has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (heterogeneous relation has quality metaclass)
- heterogeneous relation has quality class ⇐ (type of property is a class), (heterogeneous relation has quality type of property)
- heterogeneous relation has quality philosophical concept ⇐ (phenomenon is a philosophical concept), (heterogeneous relation has quality phenomenon)
- heterogeneous relation is subclass of mathematical object ⇐ (endorelation is subclass of mathematical object), (endorelation is opposite of heterogeneous relation)
- heterogeneous relation is subclass of class ⇐ (endorelation is subclass of class), (endorelation is opposite of heterogeneous relation)
- heterogeneous relation is subclass of set ⇐ (endorelation is subclass of set), (endorelation is opposite of heterogeneous relation)
- heterogeneous relation has quality type ⇐ (heterogeneous relation has quality quality), (quality has quality type), (has quality is a transitive relation)
- heterogeneous relation has quality superclass ⇐ (heterogeneous relation has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- heterogeneous relation has quality taxonomic rank ⇐ (heterogeneous relation has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- heterogeneous relation has quality property ⇐ (heterogeneous relation has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- heterogeneous relation has quality quality ⇐ (heterogeneous relation has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- heterogeneous relation has quality type of property ⇐ (heterogeneous relation has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- heterogeneous relation has quality criterion ⇐ (heterogeneous relation has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- heterogeneous relation has quality concept ⇐ (state is a concept), (heterogeneous relation has quality state)
- heterogeneous relation has quality metaclass ⇐ (BFO class is a metaclass), (heterogeneous relation has quality BFO class)
- heterogeneous relation has quality BFO class ⇐ (occurrent is a BFO class), (heterogeneous relation has quality occurrent)
- heterogeneous relation has quality occurrent ⇐ (phenomenon is subclass of occurrent), (heterogeneous relation has quality phenomenon)
- heterogeneous relation has quality phenomenon ⇐ (state is subclass of phenomenon), (heterogeneous relation has quality state)
- heterogeneous relation has quality number of entities ⇐ (arity is subclass of number of entities), (heterogeneous relation has quality arity)
- heterogeneous relation has quality state ⇐ (disparity is subclass of state), (heterogeneous relation has quality disparity)
- heterogeneous relation has quality arity ⇐ (heterogeneous relation is subclass of binary relation), (binary relation has quality arity)