No TPTP formula. May not be expressible in strict first order. |
naics.kif 2755-2755 |
NewsprintMills e' um sub-atributo de PaperMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2748-2748 |
PaperExceptNewsprintMills e' um sub-atributo de PaperMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44336-44336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44335-44335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44334-44334 |
|