SouthAmerica![]() | ![]() |
appearance as argument number 1 |
![]() |
(between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | |
(externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | |
(geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3693-3693 | |
(instance SouthAmerica Continent) | Geography.kif 3689-3689 | |
(overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3691-3691 | |
(overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3692-3692 |
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 | |
(=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 7020-7022 |
statement |
![]() |
(orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West) |
Geography.kif 396-397 |
![]() |
![]() |