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 4631-4631
(roomTempState CopperOre Solid) Mid-level-ontology.kif 33533-33533 room temperature state copper ore and solid
(subclass CopperOre Mineral) Economy.kif 5987-5987 Copper ore is a subclass of mineral

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


(industryProductType CopperOreMining CopperOre) Economy.kif 1854-1854 Copper ore is an industry product type of copper ore mining
(termFormat ChineseLanguage CopperOre "铜矿") domainEnglishFormat.kif 17265-17265 Copper ore is an industry product type of copper ore mining
(termFormat ChineseTraditionalLanguage CopperOre "銅礦") domainEnglishFormat.kif 17264-17264 Copper ore is an industry product type of copper ore mining
(termFormat EnglishLanguage CopperOre "copper ore") domainEnglishFormat.kif 17263-17263 Copper ore is an industry product type of copper ore mining

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


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


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