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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CopperOreMining
CopperOreMining

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


(industryProductType CopperOreMining CopperOre) Economy.kif 1729-1729 industryProductType CopperOreMining and CopperOre
(subAttribute CopperOreMining CopperIndustry) Economy.kif 1725-1725 CopperOreMining est un sous-attribut de CopperIndustry
(subAttribute CopperOreMining CopperOreAndNickelOreMining) Economy.kif 1732-1732 CopperOreMining est un sous-attribut de CopperOreAndNickelOreMining

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