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