| 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 3552-3556 | |
| (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 3569-3569 | geographicSubregion ArcticRegion and NorthernHemisphere |
| (instance ArcticRegion GeographicArea) | Geography.kif 3549-3549 | ArcticRegion は 地理的地域 の instance では %n |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3570-3570 | overlapsSpatially ArcticRegion and EasternHemisphere |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3571-3571 | overlapsSpatially ArcticRegion and WesternHemisphere |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3550-3550 | ArcticRegion は "Arctic" の name を 持って %n{ない} |
| (names "the Arctic" ArcticRegion) | Geography.kif 3551-3551 | ArcticRegion は "the Arctic" の name を 持って %n{ない} |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3572-3572 | overlapsSpatially ArcticOcean and ArcticRegion |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8281-8281 | overlapsSpatially ArcticOcean and ArcticRegion |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8280-8280 | overlapsSpatially ArcticOcean and ArcticRegion |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8279-8279 | overlapsSpatially ArcticOcean and ArcticRegion |
| antecedent |
|
|
| (=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N)))) |
Geography.kif 3824-3831 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3558-3567 |
| statement |
|
|
| (not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3573-3573 | vegetationType ArcticRegion and BotanicalTree |
|
|
|