No TPTP formula. May not be expressible in strict first order. |
naics.kif 1920-1920 |
TobaccoProductManufacturing e' um sub-atributo de TobaccoManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1913-1913 |
TobaccoStemmingAndRedrying e' um sub-atributo de TobaccoManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58250-58250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58249-58249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58248-58248 |
|