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 Animal 是 食品製造業 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. naics.kif 1355-1355 例 食品製造業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1379-1379 子屬性 動物食品製造業 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1623-1623 子屬性 動物屠宰和加工 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1677-1677 子屬性 麵包店和玉米餅製造 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1578-1578 子屬性 乳製品製造業 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1523-1523 子屬性 水果和蔬菜保鮮和特色食品製造 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1400-1400 子屬性 穀物和油籽碾磨 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1742-1742 子屬性 其他食品製造業 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1657-1657 子屬性 海鮮產品的製備和包裝 and 食品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 1470-1470 子屬性 糖和糖果產品製造 and 食品製造業
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