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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousManufacturing

Sigma KEE - MiscellaneousManufacturing
MiscellaneousManufacturing(miscellaneous manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6150-6150 Miscellaneous manufacturing is disjoint from chemical manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6144-6144 Miscellaneous manufacturing is disjoint from computer and electronic product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6143-6143 Miscellaneous manufacturing is disjoint from electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6146-6146 Miscellaneous manufacturing is disjoint from fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 Miscellaneous manufacturing is disjoint from furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6145-6145 Miscellaneous manufacturing is disjoint from machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6148-6148 Miscellaneous manufacturing is disjoint from nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6151-6151 Miscellaneous manufacturing is disjoint from petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6149-6149 Miscellaneous manufacturing is disjoint from plastics and rubber products manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6147-6147 Miscellaneous manufacturing is disjoint from primary metal manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6142-6142 Miscellaneous manufacturing is disjoint from transportation equipment manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6137-6139
No TPTP formula. May not be expressible in strict first order. naics.kif 6135-6135 Miscellaneous manufacturing is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6171-6171 Medical equipment and supplies manufacturing is a subattribute of miscellaneous manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 6219-6219 Other miscellaneous manufacturing is a subattribute of miscellaneous manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38003-38003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38002-38002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38001-38001

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 6153-6169


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