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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodManufacturing

Sigma KEE - FoodManufacturing
FoodManufacturing(food manufacturing)

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 9228-9228
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. Economy.kif 1755-1755 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1355-1355 Food manufacturing is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1379-1379 Animal food manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1623-1623 Animal slaughtering and processing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1677-1677 Bakeries and tortilla manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1578-1578 Dairy product manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1523-1523 Fruit and vegetable preserving and specialty food manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1400-1400 Grain and oilseed milling is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1742-1742 Other food manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1657-1657 Seafood product preparation and packaging is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1470-1470 Sugar and confectionery product manufacturing is a subattribute of food manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24537-24537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24536-24536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24535-24535

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