| Antarctica
| |
| appearance as argument number 1 |
|
|
| (claimedTerritory Antarctica Argentina) | CountriesAndRegions.kif 3923-3923 | |
| (claimedTerritory Antarctica Australia) | CountriesAndRegions.kif 3924-3924 | |
| (claimedTerritory Antarctica Chile) | CountriesAndRegions.kif 3925-3925 | |
| (claimedTerritory Antarctica France) | CountriesAndRegions.kif 3926-3926 | |
| (claimedTerritory Antarctica NewZealand) | CountriesAndRegions.kif 3927-3927 | |
| (claimedTerritory Antarctica Norway) | CountriesAndRegions.kif 3928-3928 | |
| (claimedTerritory Antarctica UnitedKingdom) | CountriesAndRegions.kif 3929-3929 | |
| (externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") | pictureList.kif 226-226 | |
| (geographicSubregion Antarctica AntarcticArea) | Geography.kif 3610-3610 | |
| (geographicSubregion Antarctica SouthernHemisphere) | Geography.kif 3527-3527 | |
| (instance Antarctica Continent) | Geography.kif 3525-3525 | |
| (instance Antarctica GeopoliticalArea) | CountriesAndRegions.kif 4240-4240 | |
| (overlapsSpatially Antarctica EasternHemisphere) | Geography.kif 3528-3528 | |
| (overlapsSpatially Antarctica WesternHemisphere) | Geography.kif 3529-3529 |
| appearance as argument number 2 |
|
|
| (names "Antarctica" Antarctica) | Geography.kif 3526-3526 | |
| (termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7759-7759 | |
| (termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7758-7758 | |
| (termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7757-7757 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) | Media.kif 2843-2843 |
| antecedent |
|
|
| (=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S)))) |
Geography.kif 3851-3858 | |
| (=> (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 3492-3501 | |
| (=> (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 4740-4743 |
|
|
|