|
|
  SouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| (between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | SaintHelena ist zwischen SouthAmerica und WesternAfrica %n{nicht} |
| (externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | |
| (geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3535-3535 | geographicSubregion SouthAmerica and WesternHemisphere |
| (instance SouthAmerica Continent) | Geography.kif 3531-3531 | SouthAmerica ist ein fall von Continent %n{nicht} |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3533-3533 | SouthAmerica deckt sich mit NorthernHemisphere raeumlich %n{nicht} |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3534-3534 | SouthAmerica deckt sich mit SouthernHemisphere raeumlich %n{nicht} |
| 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 | Entity ist ein fall von Continent %n{nicht} genau dann wenn Africa ist gleich ** Entity %n{nicht} oder NorthAmerica ist gleich ** Entity %n{nicht} oder SouthAmerica ist gleich ** Entity %n{nicht} oder Antarctica ist gleich ** Entity %n{nicht} oder Europe ist gleich ** Entity %n{nicht} oder Asia ist gleich ** Entity %n{nicht} oder Oceania ist gleich ** Entity %n{nicht} |
| (=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 6683-6685 |
|
|
|
|
