Antarctica |
appearance as argument number 1 |
appearance as argument number 2 |
(names "Antarctica" Antarctica) | Geography.kif 3538-3538 | names "Antarctica" and 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 | codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica |
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 | Entit� è un' istanza di Continente Africa is uguale a Entit� NorthAmerica is uguale a Entit� SouthAmerica is uguale a Entit� Antarctica is uguale a Entit� Europe is uguale a Entit� Asia is uguale a Entit� Oceania is uguale a Entit� |
(=> (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 | La lunghezza di ShorelineFn SouthernOcean and Antarctica è 17968.0 1 mille Meters(s |