Deductions
- Canada is part of Earth's surface ⇐ (Canada is part of Americas), (Americas is part of Earth's surface), (is part of is a transitive relation)
- Canada is part of Americas ⇐ (Canada is part of North America), (North America is part of Americas), (is part of is a transitive relation)
- Canada has quality class ⇐ (Canada has quality quality), (quality has quality class), (has quality is a transitive relation)
- Canada has quality property ⇐ (Canada has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- Canada has quality abstract entity ⇐ (type is a abstract entity), (Canada has quality type)
- Canada has quality taxonomic rank ⇐ (Canada has quality means), (means has quality taxonomic rank), (has quality is a transitive relation)
- Canada has quality result ⇐ (Canada has quality means), (means has quality result), (has quality is a transitive relation)
- Canada has quality existence ⇐ (Canada has quality means), (means has quality existence), (has quality is a transitive relation)
- Canada has quality superclass ⇐ (Canada has quality means), (means has quality superclass), (has quality is a transitive relation)
- Canada has quality criterion ⇐ (Canada has quality means), (means has quality criterion), (has quality is a transitive relation)
- Canada has quality type ⇐ (Canada has quality means), (means has quality type), (has quality is a transitive relation)
- Canada has quality type of property ⇐ (Canada has quality means), (means has quality type of property), (has quality is a transitive relation)
- Canada has quality class ⇐ (Canada has quality means), (means has quality class), (has quality is a transitive relation)
- Canada has quality quality ⇐ (Canada has quality means), (means has quality quality), (has quality is a transitive relation)
- Canada has quality entity ⇐ (Canada has quality means), (means has quality entity), (has quality is a transitive relation)
- Canada has quality means ⇐ (free country is a means), (Canada has quality free country)
- dominion of the British Empire is for example Canada ⇐ (Canada is a dominion of the British Empire), (is a is inverse of is for example)