| Antarctica(antarctica)
| | Antarctic_continent, Antarctica |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Antarctica" Antarctica) | Geography.kif 3538-3538 | Antarctica has name "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 | "AQ" in ISO-3166-1-alpha-2 denotes 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 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to 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 4671-4674 | The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s) |
|
|
|