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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherFabricatedMetalProductManufacturing

Sigma KEE - AllOtherFabricatedMetalProductManufacturing
AllOtherFabricatedMetalProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4571-4573
No TPTP formula. May not be expressible in strict first order. naics.kif 4569-4569 AllOtherFabricatedMetalProductManufacturing est un sous-attribut de OtherFabricatedMetalProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4630-4630 AllOtherMiscellaneousFabricatedMetalProductManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4589-4589 AmmunitionExceptSmallArmsManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4575-4575 BallAndRollerBearingManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4623-4623 EnameledIronAndMetalSanitaryWareManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4609-4609 FabricatedPipeAndPipeFittingManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4616-4616 IndustrialPatternManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4602-4602 OtherOrdnanceAndAccessoriesManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4582-4582 SmallArmsAmmunitionManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4596-4596 SmallArmsManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6630-6630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6629-6629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6628-6628


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