SouthAmerica(南美洲) |
appearance as argument number 1 |
(between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | 之間 南美洲, 聖海倫娜 and 西非 |
(externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | |
(geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3535-3535 | 南美洲 是 西半球 的 geographic 次要地區 |
(instance SouthAmerica Continent) | Geography.kif 3531-3531 | 例 南美洲 and Continent |
(overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3533-3533 | 在空間上重疊 南美洲 and 北半球 |
(overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3534-3534 | 在空間上重疊 南美洲 and 南半球 |
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 and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity |
(=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 6683-6685 |