Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntarcticArea
AntarcticArea(antarctic area)

appearance as argument number 1
-------------------------


(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 3547-3551
(externalImage AntarcticArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ LocationAntarctica.png/ 250px-LocationAntarctica.png") pictureList.kif 1314-1314
(instance AntarcticArea GeographicArea) Geography.kif 3545-3545 Antarctic area is an instance of geographic area
(instance AntarcticArea LandArea) Geography.kif 3546-3546 Antarctic area is an instance of land area

appearance as argument number 2
-------------------------


(geographicSubregion Antarctica AntarcticArea) Geography.kif 3544-3544 Antarctica is a geographic subregion of antarctic area
(termFormat ChineseLanguage AntarcticArea "南极地区") domainEnglishFormat.kif 7767-7767
(termFormat ChineseTraditionalLanguage AntarcticArea "南極地區") domainEnglishFormat.kif 7766-7766
(termFormat EnglishLanguage AntarcticArea "antarctic area") domainEnglishFormat.kif 7765-7765

antecedent
-------------------------


(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3553-3562


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners