Antarctica |
appearance as argument number 1 |
appearance as argument number 2 |
(names "Antarctica" Antarctica) | Geography.kif 3538-3538 | Antarctica は "Antarctica" の name を 持って %n{ない} |
(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 | エンティティー は 大陸 の instance では %n Africa は エンティティー と equal では %n NorthAmerica は エンティティー と equal では %n SouthAmerica は エンティティー と equal では %n Antarctica は エンティティー と equal では %n Europe は エンティティー と equal では %n Asia は エンティティー と equal では %n Oceania は エンティティー と equal では %n |
(=> (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 | ShorelineFn SouthernOcean and Antarctica の length は 17968.0 の 1 の thousand Meters(s) では |