Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
| (instance SouthAmerica Continent) | Geography.kif 4942-4942 | South america is an instance of continent |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 4944-4944 | South america and northern hemisphere overlapsSpatially |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 4945-4945 | South america and southern hemisphere overlapsSpatially |
| (geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 4946-4946 | South america is a geographic subregion of western hemisphere |
| (externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | South america is a geographic subregion of western 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 343-351 | If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X |
| 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 4900-4909 | All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X |
| (=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 8347-8349 | If X is an instance of pampa, then X is located at south america |
| statement |
|
|
| (orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West) |
Geography.kif 1433-1434 | The seacoast of south america is west of to Andes Mountains |
|