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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherNonmetallicMineralProductManufacturing

Sigma KEE - AllOtherNonmetallicMineralProductManufacturing
AllOtherNonmetallicMineralProductManufacturing(all other nonmetallic mineral product manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3903-3906
No TPTP formula. May not be expressible in strict first order. naics.kif 3901-3901 All other nonmetallic mineral product manufacturing is a subattribute of other nonmetallic mineral product manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3929-3929 All other miscellaneous nonmetallic mineral product manufacturing is a subattribute of all other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3908-3908 Cut stone and stone product manufacturing is a subattribute of all other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3915-3915 Ground or treated mineral and earth manufacturing is a subattribute of all other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3923-3923 Mineral wool manufacturing is a subattribute of all other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6834-6834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6833-6833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6832-6832


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