Deductions
- history of a geographic region has quality superclass ⇐ (history of a geographic region has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- history of a geographic region has quality superclass ⇐ (history of a geographic region has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- history of a geographic region has quality taxonomic rank ⇐ (history of a geographic region has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- history of a geographic region has quality abstract entity ⇐ (property is a abstract entity), (history of a geographic region has quality property)
- history of a geographic region has quality entity ⇐ (property is a entity), (history of a geographic region has quality property)
- history of a geographic region has quality class ⇐ (type of property is subclass of class), (history of a geographic region has quality type of property)
- history of a geographic region is for example history of the United Kingdom ⇐ (history of the United Kingdom is a history of a geographic region), (is a is inverse of is for example)
- history of a geographic region is for example history of South Africa ⇐ (history of South Africa is a history of a geographic region), (is a is inverse of is for example)
- history of a geographic region is for example history of the Russian Empire ⇐ (history of the Russian Empire is a history of a geographic region), (is a is inverse of is for example)
- metaclass is for example history of a geographic region ⇐ (history of a geographic region is a metaclass), (is a is inverse of is for example)
- history of a geographic region is for example history of the United States ⇐ (history of the United States is a history of a geographic region), (is a is inverse of is for example)
- entity is for example history of a geographic region ⇐ (history of a geographic region is a entity), (is a is inverse of is for example)
- history of a geographic region has quality property ⇐ (history of a geographic region is a metaclass), (metaclass has quality property)
- history of a geographic region has quality type of property ⇐ (history of a geographic region is a metaclass), (metaclass has quality type of property)
- history of a geographic region has quality quality ⇐ (history of a geographic region is a metaclass), (metaclass has quality quality)
- history of a geographic region has quality criterion ⇐ (history of a geographic region is a metaclass), (metaclass has quality criterion)
- history of a geographic region has quality class ⇐ (history of a geographic region is a metaclass), (metaclass has quality class)
- history of a geographic region has quality existence ⇐ (history of a geographic region is a entity), (entity has quality existence)
- history of a geographic region is a entity ⇐ (metaclass is subclass of entity), (history of a geographic region is a metaclass)
- history of the United Kingdom is a history of a geographic region ⇐ (history of a country or state is subclass of history of a geographic region), (history of the United Kingdom is a history of a country or state)
- history of the United States is a history of a geographic region ⇐ (history of a country or state is subclass of history of a geographic region), (history of the United States is a history of a country or state)
- history of the Russian Empire is a history of a geographic region ⇐ (history of a country or state is subclass of history of a geographic region), (history of the Russian Empire is a history of a country or state)
- history of South Africa is a history of a geographic region ⇐ (history of a country or state is subclass of history of a geographic region), (history of South Africa is a history of a country or state)