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