No TPTP formula. May not be expressible in strict first order. |
naics.kif 2742-2742 |
造纸厂 是 纸浆纸和纸板厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2761-2761 |
纸板厂 是 纸浆纸和纸板厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2736-2736 |
纸浆厂 是 纸浆纸和纸板厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48098-48098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48097-48097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48096-48096 |
|