|
|
  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 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 | geographicSubregion ArcticRegion and NorthernHemisphere |
| (instance ArcticRegion GeographicArea) | Geography.kif 3686-3686 | ArcticRegion ist ein fall von geographischer Bereich |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3707-3707 | ArcticRegion deckt sich mit EasternHemisphere raeumlich |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3708-3708 | ArcticRegion deckt sich mit WesternHemisphere raeumlich |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3687-3687 | names "Arctic" and ArcticRegion |
| (names "the Arctic" ArcticRegion) | Geography.kif 3688-3688 | names "the Arctic" and ArcticRegion |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3709-3709 | ArcticOcean deckt sich mit ArcticRegion raeumlich |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8275-8275 | ArcticOcean deckt sich mit ArcticRegion raeumlich |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8274-8274 | ArcticOcean deckt sich mit ArcticRegion raeumlich |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8273-8273 | ArcticOcean deckt sich mit ArcticRegion raeumlich |
| 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 | vegetationType ArcticRegion and BotanicalTree |
|
|
|
