Antarctica
|
|
appearance as argument number 1 |
appearance as argument number 2 |
(names "Antarctica" Antarctica) | Geography.kif 3538-3538 | Antarctica se chama nome "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 | Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade |
(=> (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 | O comprimento de ShorelineFn SouthernOcean and Antarctica e' 17968.0 1 mil Meters(s) |