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