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 3693-3693 | South america is a geographic subregion of western hemisphere |
(instance SouthAmerica Continent) | Geography.kif 3689-3689 | South america is an instance of continent |
(overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3691-3691 | South america and northern hemisphere overlapsSpatially |
(overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3692-3692 | 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 3662-3671 | An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity |
(=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 7020-7022 |
|
statement |
![]() |
(orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West) |
Geography.kif 396-397 | The seacoast of south america is west to Andes Mountains |
![]() |
![]() |