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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherChemicalAndFertilizerMineralMining

Sigma KEE - OtherChemicalAndFertilizerMineralMining
OtherChemicalAndFertilizerMineralMining(other chemical and fertilizer mineral mining)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 867-870
No TPTP formula. May not be expressible in strict first order. naics.kif 865-865 Other chemical and fertilizer mineral mining is a subattribute of other nonmetallic mineral mining and quarrying

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1740-1740 Fertilizer mineral mining is a subattribute of other chemical and fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42806-42806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42805-42805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42804-42804


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