Antarctica
|
|
appearance as argument number 1 |
(claimedTerritory Antarctica Argentina) | CountriesAndRegions.kif 3923-3923 | 阿根廷 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica Australia) | CountriesAndRegions.kif 3924-3924 | 澳大利亚 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica Chile) | CountriesAndRegions.kif 3925-3925 | 智利 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica France) | CountriesAndRegions.kif 3926-3926 | 法国 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica NewZealand) | CountriesAndRegions.kif 3927-3927 | 新西兰 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica Norway) | CountriesAndRegions.kif 3928-3928 | 挪威 是 南极洲 的 claimed 领土 |
(claimedTerritory Antarctica UnitedKingdom) | CountriesAndRegions.kif 3929-3929 | 英国 是 南极洲 的 claimed 领土 |
(externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") | pictureList.kif 226-226 | |
(geographicSubregion Antarctica AntarcticArea) | Geography.kif 3622-3622 | 南极洲 是 南极地区 的 geographic 次要地区 |
(geographicSubregion Antarctica SouthernHemisphere) | Geography.kif 3539-3539 | 南极洲 是 南半球 的 geographic 次要地区 |
(instance Antarctica Continent) | Geography.kif 3537-3537 | 南极洲 是 大陆 的 instance |
(instance Antarctica GeopoliticalArea) | CountriesAndRegions.kif 4240-4240 | 南极洲 是 地缘政治区域 的 instance |
(overlapsSpatially Antarctica EasternHemisphere) | Geography.kif 3540-3540 | 南极洲 和 东半球 重叠 |
(overlapsSpatially Antarctica WesternHemisphere) | Geography.kif 3541-3541 | 南极洲 和 西半球 重叠 |
appearance as argument number 2 |
(names "Antarctica" Antarctica) | Geography.kif 3538-3538 | 南极洲 的名 是 "Antarctica" |
(termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7752-7752 | |
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7751-7751 | |
(termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7750-7750 |
appearance as argument number 3 |
(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) | Media.kif 2843-2843 | "AQ" 在 ISO-3166-1-alpha-2 denotes 南极洲 |
antecedent |
(=> (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 3504-3513 | 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体 |
(=> (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 4671-4674 | 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍 |