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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 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 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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