Deductions
- Robben Island has quality class ⇐ (Robben Island has quality quality), (quality has quality class), (has quality is a transitive relation)
- Robben Island has quality type ⇐ (Robben Island has quality quality), (quality has quality type), (has quality is a transitive relation)
- Robben Island has quality entity ⇐ (Robben Island has quality type of property), (type of property has quality entity), (has quality is a transitive relation)
- Robben Island has quality property ⇐ (Robben Island has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- Robben Island has quality superclass ⇐ (Robben Island has quality type of property), (type of property has quality superclass), (has quality is a transitive relation)
- Robben Island has quality quality ⇐ (Robben Island has quality type of property), (type of property has quality quality), (has quality is a transitive relation)
- Robben Island has quality taxonomic rank ⇐ (Robben Island has quality type of property), (type of property has quality taxonomic rank), (has quality is a transitive relation)
- Robben Island has quality criterion ⇐ (Robben Island has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- Robben Island has quality existence ⇐ (Robben Island has quality type of property), (type of property has quality existence), (has quality is a transitive relation)
- Robben Island has quality abstract entity ⇐ (Robben Island has quality type of property), (type of property has quality abstract entity), (has quality is a transitive relation)
- Robben Island has quality type of property ⇐ (geographic location is a type of property), (Robben Island has quality geographic location)
- geographic entity is for example Robben Island ⇐ (Robben Island is a geographic entity), (is a is inverse of is for example)
- geolocatable entity is for example Robben Island ⇐ (Robben Island is a geolocatable entity), (is a is inverse of is for example)
- Robben Island has quality geographic entity ⇐ (Robben Island is a geolocatable entity), (geolocatable entity has quality geographic entity)
- Robben Island has quality geographic location ⇐ (Robben Island is a geolocatable entity), (geolocatable entity has quality geographic location)
- Robben Island is a geolocatable entity ⇐ (geographic entity is subclass of geolocatable entity), (Robben Island is a geographic entity)
- Robben Island is a geographic entity ⇐ (island is subclass of geographic entity), (Robben Island is a island)
- landform is for example Robben Island ⇐ (Robben Island is a landform), (is a is inverse of is for example)
- prison island is for example Robben Island ⇐ (Robben Island is a prison 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)
- Robben Island is a landform ⇐ (island is subclass of landform), (Robben Island is a island)
- Robben Island is a island ⇐ (prison island is subclass of island), (Robben Island is a prison island)