Antarctica![]() | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(names "Antarctica" Antarctica) | Geography.kif 3696-3696 | Antarctica は "Antarctica" の &ames$"name" を 持って |
(termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7753-7753 | Antarctica は "Antarctica" の &ames$"name" を 持って |
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7752-7752 | Antarctica は "Antarctica" の &ames$"name" を 持って |
(termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7751-7751 | Antarctica は "Antarctica" の &ames$"name" を 持って |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) | Media.kif 2845-2845 | codeMapping ISO_3166_1_alpha_2, "AQ" and Antarctica |
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 Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania 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 | ShorelineFn SouthernOcean and Antarctica の length は 17968.0 の 1 の thousand Meters(s) では |
![]() |
![]() |