Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CopperOreMining
CopperOreMining(copper ore mining)

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


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

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners