Deductions
- Americas is part of Earth ⇐ (Americas is part of Earth's surface), (Earth's surface is part of Earth), (is part of is a transitive relation)
- Confederate States of America is part of Americas ⇐ (Confederate States of America is part of North America), (North America is part of Americas), (is part of is a transitive relation)
- 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)
- Canada is part of Americas ⇐ (Canada is part of North America), (North America is part of Americas), (is part of is a transitive relation)
- continent is for example Americas ⇐ (Americas is a continent), (is a is inverse of is for example)
- Americas is a continent ⇐ (supercontinent is subclass of continent), (Americas is a supercontinent)
- supercontinent is for example Americas ⇐ (Americas is a supercontinent), (is a is inverse of is for example)