TreeView Knowledge Base Browser

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 3564-3568
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg")	pictureList.kif 2436-2436
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg")	pictureList.kif 2539-2539
(geographicSubregion ArcticRegion NorthernHemisphere)	Geography.kif 3581-3581	北極地區是北半球的 geographic 次要地區
(instance ArcticRegion GeographicArea)	Geography.kif 3561-3561	例北極地區 and GeographicArea
(overlapsSpatially ArcticRegion EasternHemisphere)	Geography.kif 3582-3582	在空間上重疊北極地區 and 東半球
(overlapsSpatially ArcticRegion WesternHemisphere)	Geography.kif 3583-3583	在空間上重疊北極地區 and 西半球

appearance as argument number 2

(names "Arctic" ArcticRegion)	Geography.kif 3562-3562	名 "Arctic" and 北極地區
(names "the Arctic" ArcticRegion)	Geography.kif 3563-3563	名 "the Arctic" and 北極地區
(overlapsSpatially ArcticOcean ArcticRegion)	Geography.kif 3584-3584	在空間上重疊北冰洋 and 北極地區
(termFormat ChineseLanguage ArcticRegion "北极地区")	domainEnglishFormat.kif 8274-8274
(termFormat ChineseTraditionalLanguage ArcticRegion "北極地區")	domainEnglishFormat.kif 8273-8273
(termFormat EnglishLanguage ArcticRegion "arctic region")	domainEnglishFormat.kif 8272-8272

antecedent

(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))

Geography.kif 3570-3579

statement

(not
(vegetationType ArcticRegion BotanicalTree))

Geography.kif 3585-3585