Deductions
- Czech Republic has quality class ⇐ (Czech Republic has quality quality), (quality has quality class), (has quality is a transitive relation)
- Czech Republic has quality abstract entity ⇐ (type is a abstract entity), (Czech Republic has quality type)
- Czech Republic has quality property ⇐ (Czech Republic has quality class), (class has quality property), (has quality is a transitive relation)
- Czech Republic has quality taxonomic rank ⇐ (Czech Republic has quality means), (means has quality taxonomic rank), (has quality is a transitive relation)
- Czech Republic has quality result ⇐ (Czech Republic has quality means), (means has quality result), (has quality is a transitive relation)
- Czech Republic has quality existence ⇐ (Czech Republic has quality means), (means has quality existence), (has quality is a transitive relation)
- Czech Republic has quality superclass ⇐ (Czech Republic has quality means), (means has quality superclass), (has quality is a transitive relation)
- Czech Republic has quality criterion ⇐ (Czech Republic has quality means), (means has quality criterion), (has quality is a transitive relation)
- Czech Republic has quality type ⇐ (Czech Republic has quality means), (means has quality type), (has quality is a transitive relation)
- Czech Republic has quality type of property ⇐ (Czech Republic has quality means), (means has quality type of property), (has quality is a transitive relation)
- Czech Republic has quality class ⇐ (Czech Republic has quality means), (means has quality class), (has quality is a transitive relation)
- Czech Republic has quality quality ⇐ (Czech Republic has quality means), (means has quality quality), (has quality is a transitive relation)
- Czech Republic has quality entity ⇐ (Czech Republic has quality means), (means has quality entity), (has quality is a transitive relation)
- Czech Republic has quality means ⇐ (free country is a means), (Czech Republic has quality free country)
- country is for example Czech Republic ⇐ (Czech Republic is a country), (is a is inverse of is for example)