| ArcticRegion(arctic region)
| | Arctic, Arctic_Zone, North_Frigid_Zone |
| appearance as argument number 1 |
|
|
| (documentation ArcticRegion EnglishLanguage "The area above the Artic Circle, which is 66 degrees 33 minutes and 38 seconds north latitude. It is dark for at least 24 hours at some point during the year, with an increasing period of yearly continuous darkness as one gets closer to the North Pole.") | Geography.kif 3689-3693 | |
| (externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg") | pictureList.kif 2435-2435 | |
| (externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2538-2538 | |
| (geographicSubregion ArcticRegion NorthernHemisphere) | Geography.kif 3706-3706 | Arctic region is a geographic subregion of northern hemisphere |
| (instance ArcticRegion GeographicArea) | Geography.kif 3686-3686 | Arctic region is an instance of geographic area |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3707-3707 | Arctic region and eastern hemisphere overlapsSpatially |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3708-3708 | Arctic region and western hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3687-3687 | Arctic region has &ames$"name" "Arctic" |
| (names "the Arctic" ArcticRegion) | Geography.kif 3688-3688 | Arctic region has &ames$"name" "the Arctic" |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3709-3709 | Arctic ocean and arctic region overlapsSpatially |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8275-8275 | Arctic ocean and arctic region overlapsSpatially |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8274-8274 | Arctic ocean and arctic region overlapsSpatially |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8273-8273 | Arctic ocean and arctic region overlapsSpatially |
| antecedent |
|
|
| (=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N)))) |
Geography.kif 3961-3968 |
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3695-3704 |
|
| statement |
|
|
| (not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3710-3710 | Not botanical tree is found in arctic region |
|
|
|