No TPTP formula. May not be expressible in strict first order. |
naics.kif 2755-2755 |
Newsprint mills is a subattribute of paper mills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2748-2748 |
Paper except newsprint mills is a subattribute of paper mills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44334-44334 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44333-44333 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44332-44332 |
|