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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArcticOcean
ArcticOcean(北冰洋)

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


(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") Geography.kif 4637-4637
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2435-2435
(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4639-4639 北冰洋北半球geographic 次要地区
(instance ArcticOcean Ocean) Geography.kif 4634-4634 北冰洋海洋instance
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584 北冰洋北极地区 重叠
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4640-4640 北冰洋partlyLocated东半球
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4641-4641 北冰洋partlyLocated西半球

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1675-1675 北海航线北冰洋geographic 次要地区
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1666-1666 西北通道北冰洋geographic 次要地区
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 阿拉斯加州 接上 北冰洋
(names "Arctic Ocean" ArcticOcean) Geography.kif 4635-4635 北冰洋 的名 是 "Arctic Ocean"
(termFormat ChineseLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8268-8268
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8267-8267
(termFormat EnglishLanguage ArcticOcean "arctic ocean") domainEnglishFormat.kif 8266-8266

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


(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4643-4647

consequent
-------------------------


(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4643-4647


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