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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ArcticRegion
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 3722-3726
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg") pictureList.kif 2435-2435
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2538-2538
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3739-3739 geographicSubregion ArcticRegion and NorthernHemisphere
(instance ArcticRegion GeographicArea) Geography.kif 3719-3719 ArcticRegion地理的地域instance では
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3740-3740 overlapsSpatially ArcticRegion and EasternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3741-3741 overlapsSpatially ArcticRegion and WesternHemisphere

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


(names "Arctic" ArcticRegion) Geography.kif 3720-3720 ArcticRegion は "Arctic" の &ames$"name" を 持って
(names "the Arctic" ArcticRegion) Geography.kif 3721-3721 ArcticRegion は "the Arctic" の &ames$"name" を 持って
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3742-3742 overlapsSpatially ArcticOcean and ArcticRegion
(termFormat ChineseLanguage ArcticRegion "北极地区") domainEnglishFormat.kif 8275-8275 overlapsSpatially ArcticOcean and ArcticRegion
(termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") domainEnglishFormat.kif 8274-8274 overlapsSpatially ArcticOcean and ArcticRegion
(termFormat EnglishLanguage ArcticRegion "arctic region") domainEnglishFormat.kif 8273-8273 overlapsSpatially ArcticOcean and ArcticRegion

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


(=>
    (and
        (equal ?N NorthPole)
        (located ?N ArcticRegion))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?N))))
Geography.kif 3994-4001
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3728-3737

statement
-------------------------


(not
    (vegetationType ArcticRegion BotanicalTree))
Geography.kif 3743-3743 vegetationType ArcticRegion and BotanicalTree


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