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 3497-3501
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg") pictureList.kif 2437-2437
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2540-2540
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3514-3514 北极地区北半球geographic 次要地区
(instance ArcticRegion GeographicArea) Geography.kif 3494-3494 北极地区地理区域instance
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3515-3515 北极地区东半球 重叠
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3516-3516 北极地区西半球 重叠

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


(names "Arctic" ArcticRegion) Geography.kif 3495-3495 北极地区 的名 是 "Arctic"
(names "the Arctic" ArcticRegion) Geography.kif 3496-3496 北极地区 的名 是 "the Arctic"
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3517-3517 北冰洋北极地区 重叠
(termFormat ChineseLanguage ArcticRegion "北极地区") domainEnglishFormat.kif 8282-8282
(termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") domainEnglishFormat.kif 8281-8281
(termFormat EnglishLanguage ArcticRegion "arctic region") domainEnglishFormat.kif 8280-8280

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3503-3512

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


(not
    (vegetationType ArcticRegion BotanicalTree))
Geography.kif 3518-3518 植物树found北极地区


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