| SouthAmerica(south america)
| | South_America |
| appearance as argument number 1 |
|
|
| (between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | Saint helena is between south america and western africa |
| (externalImage SouthAmerica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | |
| (geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3457-3457 | South america is a geographic subregion of western hemisphere |
| (instance SouthAmerica Continent) | Geography.kif 3453-3453 | South america is an instance of continent |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3455-3455 | South america and northern hemisphere is overlapsSpatially |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3456-3456 | South america and southern hemisphere is overlapsSpatially |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?NATION Nation) (or (geographicSubregion ?NATION NorthAmerica) (geographicSubregion ?NATION SouthAmerica) (geographicSubregion ?NATION WesternEurope))) (holdsDuring (WhenFn ?NATION) (nationalHoliday ?NATION ChristmasDay))) |
Media.kif 349-357 |
|
| consequent |
|
|
| (<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT))) |
Geography.kif 3426-3435 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |
| (=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 6371-6373 |
|
|
|
|