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