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 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 |
|