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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FruitAndVegetablePreservingAndSpecialtyFoodManufacturing

Sigma KEE - FruitAndVegetablePreservingAndSpecialtyFoodManufacturing
FruitAndVegetablePreservingAndSpecialtyFoodManufacturing(fruit and vegetable preserving and specialty food manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1525-1528
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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1530-1530 Frozen food manufacturing is a subattribute of fruit and vegetable preserving and specialty food manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1550-1550 Fruit and vegetable canning pickling and drying is a subattribute of fruit and vegetable preserving and specialty food manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25148-25148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25147-25147
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25146-25146


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