follows

Deductions

• follows has quality class ⇐ (set is a class), (follows has quality set)
• follows has quality class ⇐ (quality is a class), (follows has quality quality)
• follows has quality criterion ⇐ (follows has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
• follows has quality property ⇐ (follows has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
• follows has quality type ⇐ (follows has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
• follows has quality quality ⇐ (follows has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
• follows has quality type of property ⇐ (follows has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
• follows has quality class ⇐ (set is a class), (follows has quality set)
• follows has quality abstract entity ⇐ (arity is a abstract entity), (follows has quality arity)
• follows has quality entity ⇐ (taxonomic rank is a entity), (follows has quality taxonomic rank)
• follows has quality class ⇐ (transitivity is a class), (follows has quality transitivity)
• follows has quality mathematical object ⇐ (arity is a mathematical object), (follows has quality arity)
• follows has quality number of entities ⇐ (follows is subclass of binary relation), (binary relation has quality number of entities)
• follows has quality arity ⇐ (follows is subclass of binary relation), (binary relation has quality arity)
• follows has quality mathematical property ⇐ (follows is subclass of mathematical object), (mathematical object has quality mathematical property)
• follows has quality relation ⇐ (follows is subclass of mathematical object), (mathematical object has quality relation)
• follows has quality set ⇐ (follows is subclass of mathematical object), (mathematical object has quality set)
• follows has quality existence ⇐ (follows is subclass of abstract entity), (abstract entity has quality existence)
• follows has quality superclass ⇐ (follows is subclass of abstract entity), (abstract entity has quality superclass)
• follows has quality taxonomic rank ⇐ (follows is subclass of abstract entity), (abstract entity has quality taxonomic rank)
• inverse property label item is for example follows ⇐ (follows is a inverse property label item), (is a is inverse of is for example)
• -> is for example follows ⇐ (follows is a ->), (is a is inverse of is for example)
• Wikibase property is for example follows ⇐ (follows is a Wikibase property), (is a is inverse of is for example)
• role is for example follows ⇐ (follows is a role), (is a is inverse of is for example)
• follows is subclass of entity ⇐ (follows is subclass of binary relation), (binary relation is subclass of entity), (is subclass of is a transitive relation)
• follows is subclass of abstract entity ⇐ (follows is subclass of binary relation), (binary relation is subclass of abstract entity), (is subclass of is a transitive relation)
• follows is subclass of mathematical object ⇐ (follows is subclass of endorelation), (endorelation is subclass of mathematical object), (is subclass of is a transitive relation)
• follows is subclass of class ⇐ (follows is subclass of endorelation), (endorelation is subclass of class), (is subclass of is a transitive relation)
• follows is subclass of set ⇐ (follows is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
• follows is subclass of binary relation ⇐ (follows is subclass of transitive relation), (transitive relation is subclass of binary relation), (is subclass of is a transitive relation)
• follows is subclass of relation ⇐ (follows is subclass of transitive relation), (transitive relation is subclass of relation), (is subclass of is a transitive relation)
• follows is subclass of endorelation ⇐ (follows is subclass of transitive relation), (transitive relation is subclass of endorelation), (is subclass of is a transitive relation)
• follows is a Wikibase property ⇐ (-> is subclass of Wikibase property), (follows is a ->)
• follows has quality transitivity ⇐ (follows is subclass of transitive relation), (transitive relation has quality transitivity)