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

KB Term:  Term intersection
English Word: 

Sigma KEE - LeadOreMining
LeadOreMining(lead ore mining)

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


(subAttribute LeadOreMining LeadIndustry) Economy.kif 1883-1883 Lead ore mining is a subattribute of lead industry
(subAttribute LeadOreMining LeadOreAndZincOreMining) Economy.kif 1887-1887 Lead ore mining is a subattribute of lead ore and zinc ore mining
(industryProductType LeadOreMining LeadOre) Economy.kif 1888-1888 Lead ore is an industry product type of lead ore mining

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


(termFormat EnglishLanguage LeadOreMining "lead ore mining") domainEnglishFormat.kif 33649-33649
(termFormat ChineseTraditionalLanguage LeadOreMining "鉛礦開採") domainEnglishFormat.kif 33650-33650
(termFormat ChineseLanguage LeadOreMining "铅矿开采") domainEnglishFormat.kif 33651-33651


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