Deductions
- type of object is for example country of origin ⇐ (country of origin is a type of object), (is a is inverse of is for example)
- source type is for example country of origin ⇐ (country of origin is a source type), (is a is inverse of is for example)
- -> is for example country of origin ⇐ (country of origin is a ->), (is a is inverse of is for example)
- Wikidata property related to creative works is for example country of origin ⇐ (country of origin is a Wikidata property related to creative works), (is a is inverse of is for example)
- type is for example country of origin ⇐ (country of origin is a type), (is a is inverse of is for example)
- country of origin is subclass of group of physical objects ⇐ (country of origin is subclass of group of humans), (group of humans is subclass of group of physical objects), (is subclass of is a transitive relation)
- country of origin is subclass of group of living things ⇐ (country of origin is subclass of group of humans), (group of humans is subclass of group of living things), (is subclass of is a transitive relation)
- country of origin is subclass of community ⇐ (country of origin is subclass of state), (state is subclass of community), (is subclass of is a transitive relation)
- country of origin is subclass of human social group ⇐ (country of origin is subclass of state), (state is subclass of human social group), (is subclass of is a transitive relation)
- country of origin is subclass of group of humans ⇐ (country of origin is subclass of state), (state is subclass of group of humans), (is subclass of is a transitive relation)
- country of origin is a type ⇐ (type of object is subclass of type), (country of origin is a type of object)
- country of origin is a type of object ⇐ (source type is subclass of type of object), (country of origin is a source type)