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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimaryMetalManufacturing

Sigma KEE - PrimaryMetalManufacturing
PrimaryMetalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3939-3941
No TPTP formula. May not be expressible in strict first order. naics.kif 3937-3937 PrimaryMetalManufacturing est une instance de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6147-6147 MiscellaneousManufacturing est disjoint de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4016-4016 AluminaAndAluminumProductionAndProcessing est un sous-attribut de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4146-4146 Foundries est un sous-attribut de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3961-3961 IronAndSteelMillsAndFerroalloyManufacturing est un sous-attribut de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4063-4063 NonferrousMetalExceptAluminumProductionAndProcessing est un sous-attribut de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3982-3982 SteelProductManufacturingFromPurchasedSteel est un sous-attribut de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47318-47318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47317-47317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47316-47316

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3943-3959


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