| SouthAmerica(南美洲)
| |
| appearance as argument number 1 |
|
|
| (between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | 圣海伦娜 是在 南美洲 和 西非 between |
| (externalImage SouthAmerica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ south_america.png") | pictureList.kif 747-747 | |
| (geographicSubregion SouthAmerica WesternHemisphere) | Geography.kif 3457-3457 | 南美洲 是 西半球 的 geographic 次要地区 |
| (instance SouthAmerica Continent) | Geography.kif 3453-3453 | 南美洲 是 大陆 的 instance |
| (overlapsSpatially SouthAmerica NorthernHemisphere) | Geography.kif 3455-3455 | 南美洲 和 北半球 重叠 |
| (overlapsSpatially SouthAmerica SouthernHemisphere) | Geography.kif 3456-3456 | 南美洲 和 南半球 重叠 |
| 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 3426-3435 | 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体 |
| (=> (instance ?PLAIN Pampa) (located ?PLAIN SouthAmerica)) |
Geography.kif 6371-6373 |
|
|
|