United States
Deductions
- United States is part of Americas ⇐ (United States is part of North America), (North America is part of Americas), (is part of is a transitive relation)
- United States has quality means ⇐ (free country is a means), (United States has quality free country)
- sovereign state is for example United States ⇐ (United States is a sovereign state), (is a is inverse of is for example)