| 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 3423-3427 | |
| (externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg") | pictureList.kif 2437-2437 | |
| (externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2540-2540 | |
| (geographicSubregion ArcticRegion NorthernHemisphere) | Geography.kif 3440-3440 | Arctic region is a geographic subregion of northern hemisphere |
| (instance ArcticRegion GeographicArea) | Geography.kif 3420-3420 | Arctic region is an instance of geographic area |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3441-3441 | overlaps spatially arctic region and eastern hemisphere |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3442-3442 | overlaps spatially arctic region and western hemisphere |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3421-3421 | Arctic region has name "Arctic" |
| (names "the Arctic" ArcticRegion) | Geography.kif 3422-3422 | Arctic region has name "the Arctic" |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3443-3443 | overlaps spatially arctic ocean and arctic region |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8281-8281 | |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8280-8280 | |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8279-8279 |
| antecedent |
|
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3429-3438 |
|
| statement |
|
|
| (not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3444-3444 | Not botanical tree is found in arctic region |
|
|
|