|
|
  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 |
|
|
|
|
