Deductions
- Common Travel Area has quality class ⇐ (Common Travel Area has quality quality), (quality has quality class), (has quality is a transitive relation)
- Common Travel Area has quality type ⇐ (Common Travel Area has quality quality), (quality has quality type), (has quality is a transitive relation)
- Common Travel Area has quality superclass ⇐ (Common Travel Area has quality type of property), (type of property has quality superclass), (has quality is a transitive relation)
- constituent country of the United Kingdom is part of Common Travel Area ⇐ (constituent country of the United Kingdom is part of United Kingdom), (United Kingdom is part of Common Travel Area), (is part of is a transitive relation)
- Common Travel Area has quality class ⇐ (quality is a class), (Common Travel Area has quality quality)
- Common Travel Area has quality entity ⇐ (Common Travel Area has quality type of property), (type of property has quality entity), (has quality is a transitive relation)
- Common Travel Area has quality property ⇐ (Common Travel Area has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- Common Travel Area has quality superclass ⇐ (Common Travel Area has quality type of property), (type of property has quality superclass), (has quality is a transitive relation)
- Common Travel Area has quality quality ⇐ (Common Travel Area has quality type of property), (type of property has quality quality), (has quality is a transitive relation)
- Common Travel Area has quality taxonomic rank ⇐ (Common Travel Area has quality type of property), (type of property has quality taxonomic rank), (has quality is a transitive relation)
- Common Travel Area has quality criterion ⇐ (Common Travel Area has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- Common Travel Area has quality existence ⇐ (Common Travel Area has quality type of property), (type of property has quality existence), (has quality is a transitive relation)
- Common Travel Area has quality abstract entity ⇐ (Common Travel Area has quality type of property), (type of property has quality abstract entity), (has quality is a transitive relation)
- Common Travel Area has quality type of property ⇐ (geographic location is a type of property), (Common Travel Area has quality geographic location)
- geolocatable entity is for example Common Travel Area ⇐ (Common Travel Area is a geolocatable entity), (is a is inverse of is for example)
- Common Travel Area has quality geographic entity ⇐ (Common Travel Area is a geolocatable entity), (geolocatable entity has quality geographic entity)
- Common Travel Area has quality geographic location ⇐ (Common Travel Area is a geolocatable entity), (geolocatable entity has quality geographic location)
- Common Travel Area is a geolocatable entity ⇐ (geographical feature is subclass of geolocatable entity), (Common Travel Area is a geographical feature)
- geographical feature is for example Common Travel Area ⇐ (Common Travel Area is a geographical feature), (is a is inverse of is for example)