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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GoldOreMining

Sigma KEE - GoldOreMining
GoldOreMining(gold ore mining)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 722-724
No TPTP formula. May not be expressible in strict first order. naics.kif 720-720 Gold ore mining is a subattribute of gold ore and silver ore mining

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26214-26214
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26213-26213
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26212-26212


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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