TreeView Knowledge Base Browser

appearance as argument number 1

(instance AntarcticArea GeographicArea)	Geography.kif 5051-5051	Antarctic area is an instance of geographic area
(instance AntarcticArea LandArea)	Geography.kif 5052-5052	Antarctic area is an instance of land area
(documentation AntarcticArea EnglishLanguage "The area below the AntarcticCircle, which is 66 degrees 33 minutes and 38 seconds south 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 South Pole.")	Geography.kif 5053-5057	Antarctic area is an instance of land area
(externalImage AntarcticArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ LocationAntarctica.png/ 250px_LocationAntarctica.png")	pictureList.kif 1313-1313	Antarctic area is an instance of land area

appearance as argument number 2

(geographicSubregion Antarctica AntarcticArea)	Geography.kif 5050-5050	Antarctica is a geographic subregion of antarctic area
(termFormat EnglishLanguage AntarcticArea "antarctic area")	domainEnglishFormat.kif 7756-7756	Antarctica is a geographic subregion of antarctic area
(termFormat ChineseTraditionalLanguage AntarcticArea "南極地區")	domainEnglishFormat.kif 7757-7757	Antarctica is a geographic subregion of antarctic area
(termFormat ChineseLanguage AntarcticArea "南极地区")	domainEnglishFormat.kif 7758-7758	Antarctica is a geographic subregion of antarctic area

antecedent

(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (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 antarctic area, then there exists Y such that Y is an instance of day and illuminated is not an attribute of X holds during Y