|
|
  AnimalSlaughteringAndProcessing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1625-1627 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4501-4501 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1623-1623 | AnimalSlaughteringAndProcessing est un sous-attribut de FoodManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1629-1629 | AnimalExceptPoultrySlaughtering est un sous-attribut de AnimalSlaughteringAndProcessing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1636-1636 | MeatProcessedFromCarcasses est un sous-attribut de AnimalSlaughteringAndProcessing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1650-1650 | PoultryProcessing est un sous-attribut de AnimalSlaughteringAndProcessing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1643-1643 | RenderingAndMeatByproductProcessing est un sous-attribut de AnimalSlaughteringAndProcessing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7614-7614 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7613-7613 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7612-7612 |
|
|
|
