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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NickelOre
NickelOre(镍矿石)

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


(externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ PentlanditeUSGOV.jpg") pictureList.kif 8615-8615
(externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ GarneiriteUSGOV.jpg") pictureList.kif 9469-9469
(roomTempState NickelOre Solid) Mid-level-ontology.kif 31660-31660 roomTempState 镍矿石 and 固体
(subclass NickelOre Mineral) Economy.kif 5655-5655 镍矿石矿物subclass

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


(industryProductType NickelOreMining NickelOre) Economy.kif 1808-1808 镍矿石镍矿开采industry 产品类别
(termFormat ChineseLanguage NickelOre "镍矿石") domainEnglishFormat.kif 40493-40493
(termFormat ChineseTraditionalLanguage NickelOre "鎳礦石") domainEnglishFormat.kif 40492-40492
(termFormat EnglishLanguage NickelOre "nickel ore") domainEnglishFormat.kif 40491-40491

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


(=>
    (instance ?ORE NickelOre)
    (exists (?METAL)
        (and
            (instance ?METAL Nickel)
            (component ?METAL ?ORE))))
Economy.kif 5657-5662


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