No TPTP formula. May not be expressible in strict first order. |
naics.kif 1536-1536 |
FrozenFruitJuiceAndVegetableManufacturing e' um sub-atributo de FrozenFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1543-1543 |
FrozenSpecialtyFoodManufacturing e' um sub-atributo de FrozenFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25094-25094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25093-25093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25092-25092 |
|