Antarctica(antarctica)![]() | ![]() | Antarctic_continent, Antarctica |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(names "Antarctica" Antarctica) | Geography.kif 3663-3663 | Antarctica has &ames$"name" "Antarctica" |
(termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7753-7753 | Antarctica has &ames$"name" "Antarctica" |
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7752-7752 | Antarctica has &ames$"name" "Antarctica" |
(termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7751-7751 | Antarctica has &ames$"name" "Antarctica" |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) | Media.kif 2845-2845 | "AQ" in ISO_3166_1_alpha_2 denotes antarctica |
antecedent |
![]() |
(=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S)))) |
Geography.kif 3988-3995 |
|
(=> (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 3629-3638 | An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity |
(=> (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 4878-4881 | The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s) |
![]() |
![]() |