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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StarchAndVegetableFatsAndOilsManufacturing

Sigma KEE - StarchAndVegetableFatsAndOilsManufacturing
StarchAndVegetableFatsAndOilsManufacturing(淀粉和植物油脂制造)

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 淀粉和植物油脂制造谷物和油籽碾磨subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1456-1456 油脂精炼和混合淀粉和植物油脂制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1449-1449 其他油籽加工淀粉和植物油脂制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1443-1443 大豆加工淀粉和植物油脂制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1437-1437 湿玉米碾磨淀粉和植物油脂制造subAttribute
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