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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CopperOreMining
CopperOreMining(copper ore mining)

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


(industryProductType CopperOreMining CopperOre) Economy.kif 1729-1729 Copper ore is an industry product type of copper ore mining
(subAttribute CopperOreMining CopperIndustry) Economy.kif 1725-1725 Copper ore mining is a subattribute of copper industry
(subAttribute CopperOreMining CopperOreAndNickelOreMining) Economy.kif 1732-1732 Copper ore mining is a subattribute of copper ore and nickel ore mining

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


(termFormat ChineseLanguage CopperOreMining "铜矿开采") domainEnglishFormat.kif 17268-17268
(termFormat ChineseTraditionalLanguage CopperOreMining "銅礦開採") domainEnglishFormat.kif 17267-17267
(termFormat EnglishLanguage CopperOreMining "copper ore mining") domainEnglishFormat.kif 17266-17266


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