No TPTP formula. May not be expressible in strict first order. |
naics.kif 1920-1920 |
TobaccoProductManufacturing est un sous-attribut de TobaccoManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1913-1913 |
TobaccoStemmingAndRedrying est un sous-attribut de TobaccoManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58252-58252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58251-58251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58250-58250 |
|