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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiningIndustry
MiningIndustry(採礦業)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9430-9430
No TPTP formula. May not be expressible in strict first order. Economy.kif 1797-1797 採礦業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1798-1798 子屬性 採礦除石油和天然氣 and 採礦業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1799-1799 子屬性 支持金屬採礦活動 and 採礦業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1800-1800 子屬性 除燃料外的非金屬礦物的支持活動 and 採礦業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37913-37913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37912-37912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37911-37911


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