Deductions
- transitive relation has quality type ⇐ (transitive relation has quality class), (class has quality type), (has quality is a transitive relation)
- transitive relation has quality type of property ⇐ (transitive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- transitive relation has quality class ⇐ (set is a class), (transitive relation has quality set)
- transitive relation has quality class ⇐ (quality is a class), (transitive relation has quality quality)
- transitive relation has quality type ⇐ (transitive relation has quality class), (class has quality type), (has quality is a transitive relation)
- transitive relation has quality type of property ⇐ (transitive relation has quality class), (class has quality type of property), (has quality is a transitive relation)
- transitive relation has quality criterion ⇐ (transitive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- transitive relation has quality quality ⇐ (transitive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- transitive relation has quality property ⇐ (transitive relation has quality class), (class has quality property), (has quality is a transitive relation)
- transitive relation has quality class ⇐ (set is a class), (transitive relation has quality set)
- transitive relation has quality abstract entity ⇐ (type is a abstract entity), (transitive relation has quality type)
- transitive relation has quality relation ⇐ (transitive relation has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- transitive relation has quality set ⇐ (transitive relation has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- transitive relation has quality mathematical property ⇐ (transitive relation has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- transitive relation has quality abstract entity ⇐ (arity is a abstract entity), (transitive relation has quality arity)
- transitive relation has quality entity ⇐ (taxonomic rank is a entity), (transitive relation has quality taxonomic rank)
- transitive relation has quality class ⇐ (transitivity is a class), (transitive relation has quality transitivity)
- transitive relation has quality mathematical object ⇐ (arity is a mathematical object), (transitive relation has quality arity)
- entity is for example transitive relation ⇐ (transitive relation is a entity), (is a is inverse of is for example)
- transitive relation is a entity ⇐ (class is subclass of entity), (transitive relation is a class)
- transitive relation has quality superclass ⇐ (transitive relation is subclass of abstract entity), (abstract entity has quality superclass)
- transitive relation has quality taxonomic rank ⇐ (transitive relation is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- transitive relation has quality existence ⇐ (transitive relation is subclass of entity), (entity has quality existence)
- transitive relation has quality superclass ⇐ (transitive relation is subclass of source of information), (source of information has quality superclass)
- transitive relation has quality type of property ⇐ (transitive relation is subclass of source of information), (source of information has quality type of property)
- transitive relation has quality taxonomic rank ⇐ (transitive relation is subclass of source of information), (source of information has quality taxonomic rank)
- transitive relation has quality probability ⇐ (transitive relation is subclass of source of information), (source of information has quality probability)
- transitive relation has quality credibility ⇐ (transitive relation is subclass of source of information), (source of information has quality credibility)
- transitive relation has quality source type ⇐ (transitive relation is subclass of source), (source has quality source type)
- transitive relation has quality type ⇐ (transitive relation is subclass of source), (source has quality type)
- transitive relation has quality existence ⇐ (transitive relation is subclass of source), (source has quality existence)
- transitive relation has quality type of object ⇐ (transitive relation is subclass of source), (source has quality type of object)
- transitive relation is for example is part of ⇐ (is part of is a transitive relation), (is a is inverse of is for example)
- transitive relation is for example location ⇐ (location is a transitive relation), (is a is inverse of is for example)
- class is for example transitive relation ⇐ (transitive relation is a class), (is a is inverse of is for example)
- transitive relation is for example is subclass of ⇐ (is subclass of is a transitive relation), (is a is inverse of is for example)
- type of Wikidata property is for example transitive relation ⇐ (transitive relation is a type of Wikidata property), (is a is inverse of is for example)
- transitive relation has quality quality ⇐ (transitive relation has quality class), (class has quality quality), (has quality is a transitive relation)
- transitive relation has quality property ⇐ (transitive relation has quality class), (class has quality property), (has quality is a transitive relation)
- transitive relation has quality criterion ⇐ (transitive relation has quality class), (class has quality criterion), (has quality is a transitive relation)
- transitive relation is subclass of source ⇐ (transitive relation is subclass of Wikibase entity), (Wikibase entity is subclass of source), (is subclass of is a transitive relation)
- transitive relation is subclass of entity ⇐ (transitive relation is subclass of Wikibase entity), (Wikibase entity is subclass of entity), (is subclass of is a transitive relation)
- transitive relation is subclass of source of information ⇐ (transitive relation is subclass of Wikibase entity), (Wikibase entity is subclass of source of information), (is subclass of is a transitive relation)
- transitive relation is subclass of entity ⇐ (transitive relation is subclass of binary relation), (binary relation is subclass of entity), (is subclass of is a transitive relation)
- transitive relation is subclass of abstract entity ⇐ (transitive relation is subclass of binary relation), (binary relation is subclass of abstract entity), (is subclass of is a transitive relation)
- transitive relation is subclass of mathematical object ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of mathematical object), (is subclass of is a transitive relation)
- transitive relation is subclass of class ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of class), (is subclass of is a transitive relation)
- transitive relation is subclass of set ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
- transitive relation is subclass of information resource ⇐ (transitive relation is subclass of software resource), (software resource is subclass of information resource), (is subclass of is a transitive relation)
- transitive relation is subclass of software resource ⇐ (transitive relation is subclass of ->), (-> is subclass of software resource), (is subclass of is a transitive relation)
- transitive relation is subclass of Wikibase entity ⇐ (transitive relation is subclass of ->), (-> is subclass of Wikibase entity), (is subclass of is a transitive relation)
- transitive relation is subclass of Wikibase property ⇐ (transitive relation is subclass of ->), (-> is subclass of Wikibase property), (is subclass of is a transitive relation)
- transitive relation is subclass of binary relation ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of binary relation), (is subclass of is a transitive relation)
- transitive relation is subclass of relation ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of relation), (is subclass of is a transitive relation)
- transitive relation is a class ⇐ (type of Wikidata property is subclass of class), (transitive relation is a type of Wikidata property)
- transitive relation has quality number of entities ⇐ (arity is subclass of number of entities), (transitive relation has quality arity)
- transitive relation has quality property constraint ⇐ (value-requires-statement constraint is subclass of property constraint), (transitive relation has quality value-requires-statement constraint)
- transitive relation has quality class ⇐ (type of Wikidata property is subclass of class), (transitive relation has quality type of Wikidata property)
- transitive relation has quality type of Wikidata property ⇐ (transitive relation is subclass of ->), (-> has quality type of Wikidata property)
- transitive relation has quality value-requires-statement constraint ⇐ (transitive relation is subclass of ->), (-> has quality value-requires-statement constraint)
- transitive relation has quality arity ⇐ (transitive relation is subclass of endorelation), (endorelation has quality arity)