No TPTP formula. May not be expressible in strict first order. |
naics.kif 2767-2767 |
ConvertedPaperProductManufacturing est un sous-attribut de PaperManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2730-2730 |
PulpPaperAndPaperboardMills est un sous-attribut de PaperManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44330-44330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44329-44329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44328-44328 |
|