| 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 3394-3394 | South america is a geographic subregion of western hemisphere |
| (instance SouthAmerica Continent) | Geography.kif 3390-3390 | South america is an instance of continent |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3392-3392 | overlaps spatially south america and northern hemisphere |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3393-3393 | overlaps spatially south america and southern hemisphere |
| 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 3363-3372 | 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 6025-6027 |
|
|
|
|