| 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://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | Saint helena is between south america and western africa |
| (geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3535-3535 | South america is a geographic subregion of western hemisphere |
| (instance SouthAmerica Continent) | Geography.kif 3531-3531 | South america is an instance of continent |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3533-3533 | South america and northern hemisphere overlapsSpatially |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3534-3534 | South america and southern hemisphere 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 3504-3513 | 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 6683-6685 |
|
|
|
|