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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StarchAndVegetableFatsAndOilsManufacturing

Sigma KEE - StarchAndVegetableFatsAndOilsManufacturing
StarchAndVegetableFatsAndOilsManufacturing(starch and vegetable fats and oils manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1433-1435
No TPTP formula. May not be expressible in strict first order. naics.kif 1431-1431 Starch and vegetable fats and oils manufacturing is a subattribute of grain and oilseed milling

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1456-1456 Fats and oils refining and blending is a subattribute of starch and vegetable fats and oils manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1449-1449 Other oilseed processing is a subattribute of starch and vegetable fats and oils manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1443-1443 Soybean processing is a subattribute of starch and vegetable fats and oils manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1437-1437 Wet corn milling is a subattribute of starch and vegetable fats and oils manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55056-55056
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55055-55055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55054-55054


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