| Antarctica
| |
| appearance as argument number 1 |
|
|
| (claimedTerritory Antarctica Argentina) | CountriesAndRegions.kif 3918-3918 | |
| (claimedTerritory Antarctica Australia) | CountriesAndRegions.kif 3919-3919 | |
| (claimedTerritory Antarctica Chile) | CountriesAndRegions.kif 3920-3920 | |
| (claimedTerritory Antarctica France) | CountriesAndRegions.kif 3921-3921 | |
| (claimedTerritory Antarctica NewZealand) | CountriesAndRegions.kif 3922-3922 | |
| (claimedTerritory Antarctica Norway) | CountriesAndRegions.kif 3923-3923 | |
| (claimedTerritory Antarctica UnitedKingdom) | CountriesAndRegions.kif 3924-3924 | |
| (externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") | pictureList.kif 226-226 | |
| (geographicSubregion Antarctica AntarcticArea) | Geography.kif 3780-3780 | |
| (geographicSubregion Antarctica SouthernHemisphere) | Geography.kif 3697-3697 | |
| (instance Antarctica Continent) | Geography.kif 3695-3695 | |
| (instance Antarctica GeopoliticalArea) | CountriesAndRegions.kif 4235-4235 | |
| (overlapsSpatially Antarctica EasternHemisphere) | Geography.kif 3698-3698 | |
| (overlapsSpatially Antarctica WesternHemisphere) | Geography.kif 3699-3699 |
| appearance as argument number 2 |
|
|
| (names "Antarctica" Antarctica) | Geography.kif 3696-3696 | |
| (termFormat ChineseLanguage Antarctica "南极洲") | domainEnglishFormat.kif 7753-7753 | |
| (termFormat ChineseTraditionalLanguage Antarctica "南極洲") | domainEnglishFormat.kif 7752-7752 | |
| (termFormat EnglishLanguage Antarctica "antarctica") | domainEnglishFormat.kif 7751-7751 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) | Media.kif 2845-2845 |
| antecedent |
|
|
| (=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S)))) |
Geography.kif 4021-4028 | |
| (=> (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 3662-3671 | |
| (=> (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 4911-4914 |
|
|
|