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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcticRegion

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 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 geographicSubregion ArcticRegion and NorthernHemisphere
(instance ArcticRegion GeographicArea) Geography.kif 3561-3561 ArcticRegion est une instance de secteur g�ographique
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3582-3582 ArcticRegion recouvre EasternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3583-3583 ArcticRegion recouvre WesternHemisphere

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


(names "Arctic" ArcticRegion) Geography.kif 3562-3562 ArcticRegion s'appele nom "Arctic"
(names "the Arctic" ArcticRegion) Geography.kif 3563-3563 ArcticRegion s'appele nom "the Arctic"
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584 ArcticOcean recouvre ArcticRegion
(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 vegetationType ArcticRegion and BotanicalTree


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

Show without tree


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