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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SteelProductManufacturingFromPurchasedSteel
  HazardousAQIAirQuality

Sigma KEE - SteelProductManufacturingFromPurchasedSteel
SteelProductManufacturingFromPurchasedSteel

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3984-3986
No TPTP formula. May not be expressible in strict first order. naics.kif 3982-3982 SteelProductManufacturingFromPurchasedSteel e' um sub-atributo de PrimaryMetalManufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1870-1870 SteelProductManufacturingFromPurchasedSteel e' um sub-atributo de SteelIndustry

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3988-3988 IronAndSteelPipeAndTubeManufacturingFromPurchasedSteel e' um sub-atributo de SteelProductManufacturingFromPurchasedSteel
No TPTP formula. May not be expressible in strict first order. naics.kif 3995-3995 RollingAndDrawingOfPurchasedSteel e' um sub-atributo de SteelProductManufacturingFromPurchasedSteel
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55266-55266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55265-55265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55264-55264


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