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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodManufacturing

 Sigma KEE - FoodManufacturing
FoodManufacturing(食品制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1357-1359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9227-9227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9226-9226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9225-9225
No TPTP formula. May not be expressible in strict first order. Economy.kif 1744-1744 Food for 动物 是 食品制造业 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 1355-1355 食品制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1379-1379 动物食品制造业 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1623-1623 动物屠宰和加工 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1677-1677 面包店和玉米饼制造 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1578-1578 乳制品制造业 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1523-1523 水果和蔬菜保鲜和特色食品制造 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1400-1400 谷物和油籽碾磨 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1742-1742 其他食品制造业 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1657-1657 海鲜产品的制备和包装 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1470-1470 糖和糖果产品制造 是 食品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24542-24542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24541-24541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24540-24540

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1361-1377


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