Deductions
- student of has quality existence ⇐ (student of has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- student of has quality superclass ⇐ (student of has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- student of has quality class ⇐ (abstract entity is a class), (student of has quality abstract entity)
- student of has quality superclass ⇐ (student of has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- student of has quality abstract entity ⇐ (type of property is a abstract entity), (student of has quality type of property)
- student of has quality entity ⇐ (taxonomic rank is a entity), (student of has quality taxonomic rank)
- information resource is for example student of ⇐ (student of is a information resource), (is a is inverse of is for example)
- software resource is for example student of ⇐ (student of is a software resource), (is a is inverse of is for example)
- student of has quality type of property ⇐ (student of is a software resource), (software resource has quality type of property)
- student of has quality existence ⇐ (student of is a software resource), (software resource has quality existence)
- student of has quality credibility ⇐ (student of is a software resource), (software resource has quality credibility)
- student of has quality source type ⇐ (student of is a software resource), (software resource has quality source type)
- student of has quality criterion ⇐ (student of is a software resource), (software resource has quality criterion)
- student of has quality probability ⇐ (student of is a software resource), (software resource has quality probability)
- student of has quality taxonomic rank ⇐ (student of is a software resource), (software resource has quality taxonomic rank)
- student of has quality type of object ⇐ (student of is a software resource), (software resource has quality type of object)
- student of has quality class ⇐ (student of is a software resource), (software resource has quality class)
- student of is a software resource ⇐ (Wikidata property for items about people or organisations is subclass of software resource), (student of is a Wikidata property for items about people or organisations)
- student of is a information resource ⇐ (Wikidata property for items about people is subclass of information resource), (student of is a Wikidata property for items about people)
- Wikidata property for items about people or organisations is for example student of ⇐ (student of is a Wikidata property for items about people or organisations), (is a is inverse of is for example)
- -> is for example student of ⇐ (student of is a ->), (is a is inverse of is for example)
- Wikidata property for items about people is for example student of ⇐ (student of is a Wikidata property for items about people), (is a is inverse of is for example)
- student of is a Wikidata property for items about people or organisations ⇐ (Wikidata property for items about people is subclass of Wikidata property for items about people or organisations), (student of is a Wikidata property for items about people)