| ArcticRegion
| |
| 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 3722-3726 | |
| (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 3739-3739 | |
| (instance ArcticRegion GeographicArea) | Geography.kif 3719-3719 | |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3740-3740 | |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3741-3741 |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3720-3720 | |
| (names "the Arctic" ArcticRegion) | Geography.kif 3721-3721 | |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3742-3742 | |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8275-8275 | |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8274-8274 | |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8273-8273 |
| antecedent |
|
|
| (=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N)))) |
Geography.kif 3994-4001 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3728-3737 |
| statement |
|
|
| (not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3743-3743 |
|
|
|