No TPTP formula. May not be expressible in strict first order. |
naics.kif 1385-1385 |
DogAndCatFoodManufacturing e' um sub-atributo de AnimalFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1392-1392 |
OtherAnimalFoodManufacturing e' um sub-atributo 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 |
|