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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MetalworkingMachineryManufacturing

Sigma KEE - MetalworkingMachineryManufacturing
MetalworkingMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4891-4893
No TPTP formula. May not be expressible in strict first order. naics.kif 4889-4889 MetalworkingMachineryManufacturing est un sous-attribut de MachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4925-4925 CuttingToolAndMachineToolAccessoryManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4895-4895 IndustrialMoldManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4903-4903 MachineToolMetalCuttingTypesManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4910-4910 MachineToolMetalFormingTypesManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4940-4940 OtherMetalworkingMachineryManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4933-4933 RollingMillMachineryAndEquipmentManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4917-4917 SpecialDieAndToolDieSetJigAndFixtureManufacturing est un sous-attribut de MetalworkingMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37325-37325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37324-37324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37323-37323


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