Deductions
- driving side has quality class ⇐ (abstract entity is a class), (driving side has quality abstract entity)
- driving side has quality abstract entity ⇐ (type is a abstract entity), (driving side has quality type)
- driving side has quality existence ⇐ (driving side has quality entity), (entity has quality existence), (has quality is a transitive relation)
- driving side has quality entity ⇐ (type is a entity), (driving side has quality type)
- Wikidata property related to transport is for example driving side ⇐ (driving side is a Wikidata property related to transport), (is a is inverse of is for example)
- driving side has quality type of object ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality type of object)
- driving side has quality class ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality class)
- driving side has quality property constraint ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality property constraint)
- driving side has quality value-requires-statement constraint ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality value-requires-statement constraint)
- driving side has quality type ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality type)
- driving side has quality type of Wikidata property ⇐ (driving side is a Wikidata property related to transport), (Wikidata property related to transport has quality type of Wikidata property)
- driving side is a Wikidata property related to transport ⇐ (Wikidata property related to road transport is subclass of Wikidata property related to transport), (driving side is a Wikidata property related to road transport)
- Wikidata property related to road transport is for example driving side ⇐ (driving side is a Wikidata property related to road transport), (is a is inverse of is for example)
- -> is for example driving side ⇐ (driving side is a ->), (is a is inverse of is for example)