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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZincOreMining
ZincOreMining

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


(industryProductType ZincOreMining ZincOre) Economy.kif 1920-1920 industryProductType ZincOreMining and ZincOre
(subAttribute ZincOreMining LeadOreAndZincOreMining) Economy.kif 1919-1919 ZincOreMining est un sous-attribut de LeadOreAndZincOreMining
(subAttribute ZincOreMining ZincIndustry) Economy.kif 1915-1915 ZincOreMining est un sous-attribut de ZincIndustry

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


(termFormat ChineseLanguage ZincOreMining "锌矿开采") domainEnglishFormat.kif 64201-64201
(termFormat ChineseTraditionalLanguage ZincOreMining "鋅礦開採") domainEnglishFormat.kif 64200-64200
(termFormat EnglishLanguage ZincOreMining "zinc ore mining") domainEnglishFormat.kif 64199-64199


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