TreeView Knowledge Base Browser

appearance as argument number 1

(instance ArcticRegion GeographicArea)	Geography.kif 4987-4987	Arctic region is an instance of geographic area
(documentation ArcticRegion EnglishLanguage "The area above the ArcticCircle, 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 NorthPole.")	Geography.kif 4990-4994	Arctic region is an instance of geographic area
(geographicSubregion ArcticRegion NorthernHemisphere)	Geography.kif 5007-5007	Arctic region is a geographic subregion of northern hemisphere
(overlapsSpatially ArcticRegion EasternHemisphere)	Geography.kif 5008-5008	Arctic region and eastern hemisphere overlapsSpatially
(overlapsSpatially ArcticRegion WesternHemisphere)	Geography.kif 5009-5009	Arctic region and western hemisphere overlapsSpatially
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg")	pictureList.kif 2435-2435	Arctic region and western hemisphere overlapsSpatially
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg")	pictureList.kif 2538-2538	Arctic region and western hemisphere overlapsSpatially

appearance as argument number 2

(names "Arctic" ArcticRegion)	Geography.kif 4988-4988	Arctic region has name "Arctic"
(names "the Arctic" ArcticRegion)	Geography.kif 4989-4989	Arctic region has name "the Arctic"
(overlapsSpatially ArcticOcean ArcticRegion)	Geography.kif 5010-5010	Arctic ocean and arctic region overlapsSpatially
(geographicSubregion NorthPole ArcticRegion)	Geography.kif 5264-5264	North Pole is a geographic subregion of arctic region
(termFormat EnglishLanguage ArcticRegion "arctic region")	domainEnglishFormat.kif 8272-8272	North Pole is a geographic subregion of arctic region
(termFormat ChineseTraditionalLanguage ArcticRegion "北極地區")	domainEnglishFormat.kif 8273-8273	North Pole is a geographic subregion of arctic region
(termFormat ChineseLanguage ArcticRegion "北极地区")	domainEnglishFormat.kif 8274-8274	North Pole is a geographic subregion of arctic region

antecedent

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

If X is an instance of geographic area and X is located at arctic region, then there exists Y such that Y is an instance of day and illuminated is not an attribute of X holds during Y

statement

(not
(vegetationType ArcticRegion BotanicalTree))