No TPTP formula. May not be expressible in strict first order. |
naics.kif 1385-1385 |
DogAndCatFoodManufacturing est un sous-attribut de AnimalFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1392-1392 |
OtherAnimalFoodManufacturing est un sous-attribut de AnimalFoodManufacturing |
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 |
|