Deductions
- based on has quality class ⇐ (quality is a class), (based on has quality quality)
- based on has quality abstract entity ⇐ (type is a abstract entity), (based on has quality type)
- based on has quality entity ⇐ (taxonomic rank is a entity), (based on has quality taxonomic rank)
- based on has quality class ⇐ (type of property is a class), (based on has quality type of property)
- source type is for example based on ⇐ (based on is a source type), (is a is inverse of is for example)
- Wikidata property related to creative works is for example based on ⇐ (based on is a Wikidata property related to creative works), (is a is inverse of is for example)
- -> is for example based on ⇐ (based on is a ->), (is a is inverse of is for example)
- type of object is for example based on ⇐ (based on is a type of object), (is a is inverse of is for example)
- type is for example based on ⇐ (based on is a type), (is a is inverse of is for example)
- based on has quality superclass ⇐ (based on has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
- based on has quality property ⇐ (based on has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- based on has quality criterion ⇐ (based on has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- based on has quality quality ⇐ (based on has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- based on has quality type of property ⇐ (based on has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- based on has quality taxonomic rank ⇐ (based on has quality type of object), (type of object has quality taxonomic rank), (has quality is a transitive relation)
- based on is subclass of entity ⇐ (based on is subclass of source), (source is subclass of entity), (is subclass of is a transitive relation)
- based on is a type ⇐ (type of object is subclass of type), (based on is a type of object)
- based on is a type of object ⇐ (source type is subclass of type of object), (based on is a source type)
- based on has quality type ⇐ (type of object is subclass of type), (based on has quality type of object)
- based on has quality type of object ⇐ (source type is subclass of type of object), (based on has quality source type)
- based on has quality source type ⇐ (based on is subclass of source), (source has quality source type)
- based on has quality existence ⇐ (based on is subclass of source), (source has quality existence)