No TPTP formula. May not be expressible in strict first order. |
naics.kif 12059-12059 |
一小时照相洗印 是 彩扩 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12052-12052 |
照相洗印加工实验室除了一小时 是 彩扩 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45642-45642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45641-45641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45640-45640 |
|