Deductions
- develops from has quality superclass ⇐ (develops from has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- develops from has quality class ⇐ (existence is a class), (develops from has quality existence)
- develops from has quality existence ⇐ (develops from has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- develops from has quality superclass ⇐ (develops from has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- develops from has quality taxonomic rank ⇐ (develops from has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- develops from has quality abstract entity ⇐ (type is a abstract entity), (develops from has quality type)
- develops from has quality entity ⇐ (type is a entity), (develops from has quality type)
- Wikidata property related to biology is for example develops from ⇐ (develops from is a Wikidata property related to biology), (is a is inverse of is for example)
- develops from is a Wikidata property related to biology ⇐ (Wikidata property related to medicine is subclass of Wikidata property related to biology), (develops from is a Wikidata property related to medicine)
- develops from has quality type ⇐ (class is a type), (develops from has quality class)
- develops from has quality type of object ⇐ (class is a type of object), (develops from has quality class)
- -> is for example develops from ⇐ (develops from is a ->), (is a is inverse of is for example)
- Wikidata property related to medicine is for example develops from ⇐ (develops from is a Wikidata property related to medicine), (is a is inverse of is for example)
- develops from has quality class ⇐ (develops from is a ->), (-> has quality class)
- develops from has quality type of Wikidata property ⇐ (develops from is a ->), (-> has quality type of Wikidata property)
- develops from has quality value-requires-statement constraint ⇐ (develops from is a ->), (-> has quality value-requires-statement constraint)
- develops from has quality property constraint ⇐ (develops from is a ->), (-> has quality property constraint)