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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BoilerTankAndShippingContainerManufacturing

Sigma KEE - BoilerTankAndShippingContainerManufacturing
BoilerTankAndShippingContainerManufacturing(boiler tank and shipping container manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4388-4391
No TPTP formula. May not be expressible in strict first order. naics.kif 4386-4386 Boiler tank and shipping container manufacturing is a subattribute of fabricated metal product manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4408-4408 Metal can box and other metal container light gauge manufacturing is a subattribute of boiler tank and shipping container manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4401-4401 Metal tank heavy gauge manufacturing is a subattribute of boiler tank and shipping container manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4393-4393 Power boiler and heat exchanger manufacturing is a subattribute of boiler tank and shipping container manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11501-11501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11500-11500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11499-11499


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