Deductions
- Britain has quality abstract entity ⇐ (type of property is a abstract entity), (Britain has quality type of property)
- Britain has quality type of property ⇐ (geographic location is a type of property), (Britain has quality geographic location)
- geolocatable entity is for example Britain ⇐ (Britain is a geolocatable entity), (is a is inverse of is for example)
- geographic entity is for example Britain ⇐ (Britain is a geographic entity), (is a is inverse of is for example)
- Britain has quality geographic location ⇐ (Britain is a geographic entity), (geographic entity has quality geographic location)
- Britain is a geolocatable entity ⇐ (geographic entity is subclass of geolocatable entity), (Britain is a geographic entity)
- Britain is a geographic entity ⇐ (island is subclass of geographic entity), (Britain is a island)
- landform is for example Britain ⇐ (Britain is a landform), (is a is inverse of is for example)
- island is for example Britain ⇐ (Britain is a island), (is a is inverse of is for example)
- Britain is a landform ⇐ (island is subclass of landform), (Britain is a island)