Deductions
- island has quality abstract entity ⇐ (type of property is a abstract entity), (island has quality type of property)
- island has quality type of property ⇐ (geographic location is a type of property), (island has quality geographic location)
- island has quality geographic location ⇐ (island is subclass of geographic entity), (geographic entity has quality geographic location)
- class is for example island ⇐ (island is a class), (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)
- island is for example Robben Island ⇐ (Robben Island is a island), (is a is inverse of is for example)
- place type is for example island ⇐ (island is a place type), (is a is inverse of is for example)
- type is for example island ⇐ (island is a type), (is a is inverse of is for example)
- island is subclass of geographical feature ⇐ (island is subclass of geomorphological unit), (geomorphological unit is subclass of geographical feature), (is subclass of is a transitive relation)
- island is subclass of geographic entity ⇐ (island is subclass of geomorphological unit), (geomorphological unit is subclass of geographic entity), (is subclass of is a transitive relation)
- island is subclass of natural geographic object ⇐ (island is subclass of landform), (landform is subclass of natural geographic object), (is subclass of is a transitive relation)
- island is subclass of geomorphological unit ⇐ (island is subclass of landform), (landform is subclass of geomorphological unit), (is subclass of is a transitive relation)
- island is a class ⇐ (type is subclass of class), (island is a type)
- island is a type ⇐ (place type is subclass of type), (island is a place type)
- Robben Island is a island ⇐ (prison island is subclass of island), (Robben Island is a prison island)