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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 industryProductType FoodManufacturing and FoodForFn Animal
No TPTP formula. May not be expressible in strict first order. naics.kif 1355-1355 FoodManufacturing e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1379-1379 AnimalFoodManufacturing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1623-1623 AnimalSlaughteringAndProcessing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1677-1677 BakeriesAndTortillaManufacturing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1578-1578 DairyProductManufacturing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1523-1523 FruitAndVegetablePreservingAndSpecialtyFoodManufacturing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1400-1400 GrainAndOilseedMilling e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1742-1742 OtherFoodManufacturing e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1657-1657 SeafoodProductPreparationAndPackaging e' um sub-atributo de FoodManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1470-1470 SugarAndConfectioneryProductManufacturing e' um sub-atributo de FoodManufacturing
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