| 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 3486-3490 | |
| (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 3503-3503 | 北极地区 是 北半球 的 geographic 次要地区 |
| (instance ArcticRegion GeographicArea) | Geography.kif 3483-3483 | 北极地区 是 地理区域 的 instance |
| (overlapsSpatially ArcticRegion EasternHemisphere) | Geography.kif 3504-3504 | 北极地区 和 东半球 重叠 |
| (overlapsSpatially ArcticRegion WesternHemisphere) | Geography.kif 3505-3505 | 北极地区 和 西半球 重叠 |
| appearance as argument number 2 |
|
|
| (names "Arctic" ArcticRegion) | Geography.kif 3484-3484 | 北极地区 的名 是 "Arctic" |
| (names "the Arctic" ArcticRegion) | Geography.kif 3485-3485 | 北极地区 的名 是 "the Arctic" |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3506-3506 | 北冰洋 和 北极地区 重叠 |
| (termFormat ChineseLanguage ArcticRegion "北极地区") | domainEnglishFormat.kif 8283-8283 | |
| (termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") | domainEnglishFormat.kif 8282-8282 | |
| (termFormat EnglishLanguage ArcticRegion "arctic region") | domainEnglishFormat.kif 8281-8281 |
| antecedent |
|
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3492-3501 |
| statement |
|
|
| (not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3507-3507 | 不 植物树 是 found 在 北极地区 |
|
|
|