No TPTP formula. May not be expressible in strict first order. |
naics.kif 2755-2755 |
新闻纸厂 是 造纸厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2748-2748 |
报纸除外之纸厂 是 造纸厂 的 subAttribute |
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 |
|