Deductions
- free country has quality class ⇐ (quality is a class), (free country has quality quality)
- free country has quality abstract entity ⇐ (type is a abstract entity), (free country has quality type)
- free country has quality entity ⇐ (taxonomic rank is a entity), (free country has quality taxonomic rank)
- ranking is for example free country ⇐ (free country is a ranking), (is a is inverse of is for example)
- means is for example free country ⇐ (free country is a means), (is a is inverse of is for example)
- free country has quality quality ⇐ (free country is a means), (means has quality quality)
- free country has quality class ⇐ (free country is a means), (means has quality class)
- free country has quality type of property ⇐ (free country is a means), (means has quality type of property)
- free country has quality type ⇐ (free country is a means), (means has quality type)
- free country has quality criterion ⇐ (free country is a means), (means has quality criterion)
- free country has quality superclass ⇐ (free country is a means), (means has quality superclass)
- free country has quality existence ⇐ (free country is a means), (means has quality existence)
- free country has quality result ⇐ (free country is a means), (means has quality result)
- free country has quality taxonomic rank ⇐ (free country is a means), (means has quality taxonomic rank)
- free country is a means ⇐ (ranking is subclass of means), (free country is a ranking)
- free country is a ranking ⇐ (Freedom House country rank is subclass of ranking), (free country is a Freedom House country rank)
- Freedom House country rank is for example free country ⇐ (free country is a Freedom House country rank), (is a is inverse of is for example)