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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CopperOre
CopperOre(copper ore)

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


(externalImage CopperOre "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Kupfer_Nugget.jpeg") pictureList.kif 4633-4633
(subclass CopperOre Mineral) Economy.kif 4530-4530 Copper ore is a subclass of mineral

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


(industryProductType CopperOreMining CopperOre) Economy.kif 1733-1733 Copper ore is an industry product type of copper ore mining
(termFormat ChineseLanguage CopperOre "铜矿") domainEnglishFormat.kif 17188-17188
(termFormat ChineseTraditionalLanguage CopperOre "銅礦") domainEnglishFormat.kif 17187-17187
(termFormat EnglishLanguage CopperOre "copper ore") domainEnglishFormat.kif 17186-17186

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


(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 4532-4537


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