|
|
  AnimalFoodManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1381-1383 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1379-1379 | Animal 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 1385-1385 | Dog and cat food manufacturing is a subattribute of animal food manufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1392-1392 | Other animal food manufacturing is a subattribute of animal food manufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7584-7584 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7583-7583 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7582-7582 |
|
|
|