| Antarctica(南极洲)
| |
| appearance as argument number 1 |
|
|
| (claimedTerritory Antarctica Argentina) | CountriesAndRegions.kif 3918-3918 | 阿根廷 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica Australia) | CountriesAndRegions.kif 3919-3919 | 澳大利亚 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica Chile) | CountriesAndRegions.kif 3920-3920 | 智利 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica France) | CountriesAndRegions.kif 3921-3921 | 法国 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica NewZealand) | CountriesAndRegions.kif 3922-3922 | 新西兰 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica Norway) | CountriesAndRegions.kif 3923-3923 | 挪威 是 南极洲 的 claimed 领土 |
| (claimedTerritory Antarctica UnitedKingdom) | CountriesAndRegions.kif 3924-3924 | 英国 是 南极洲 的 claimed 领土 |
| (externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") | pictureList.kif 226-226 | 英国 是 南极洲 的 claimed 领土 |
| (geographicSubregion Antarctica AntarcticArea) | Geography.kif 3780-3780 | 南极洲 是 南极地区 的 geographic 次要地区 |
| (geographicSubregion Antarctica SouthernHemisphere) | Geography.kif 3697-3697 | 南极洲 是 南半球 的 geographic 次要地区 |
| (instance Antarctica Continent) | Geography.kif 3695-3695 | 南极洲 是 大陆 的 instance |
| (instance Antarctica GeopoliticalArea) | CountriesAndRegions.kif 4235-4235 | 南极洲 是 地缘政治区域 的 instance |
| (overlapsSpatially Antarctica EasternHemisphere) | Geography.kif 3698-3698 | 南极洲 和 东半球 重叠 |
| (overlapsSpatially Antarctica WesternHemisphere) | Geography.kif 3699-3699 | 南极洲 和 西半球 重叠 |
| appearance as argument number 2 |
|
|
| (names "Antarctica" Antarctica) | Geography.kif 3696-3696 | 南极洲 的名 是 "Antarctica" |
| (termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7753-7753 | 南极洲 的名 是 "Antarctica" |
| (termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7752-7752 | 南极洲 的名 是 "Antarctica" |
| (termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7751-7751 | 南极洲 的名 是 "Antarctica" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) | Media.kif 2845-2845 | "AQ" 在 ISO_3166_1_alpha_2 denotes 南极洲 |
| antecedent |
|
|
| (=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S)))) |
Geography.kif 4021-4028 | |
| (=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South)) |
Geography.kif 292-296 |
| 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 若且唯若 equal 非洲 and 那个 实体 或 equal 北美 and 那个 实体 或 equal 南美洲 and 那个 实体 或 equal 南极洲 and 那个 实体 或 equal 欧洲 and 那个 实体 或 equal 亚洲 and 那个 实体 或 equal 大洋洲 and 那个 实体 |
| (=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South)) |
Geography.kif 292-296 |
| statement |
|
|
| (length (ShorelineFn SouthernOcean Antarctica) (MeasureFn 17968.0 (KiloFn Meter))) |
Geography.kif 4911-4914 | 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍 |
|
|
|