No TPTP formula. May not be expressible in strict first order. |
naics.kif 12059-12059 |
子屬性 一小時照相洗印 and 彩擴 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12052-12052 |
子屬性 照相洗印加工實驗室除了一小時 and 彩擴 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45644-45644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45643-45643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45642-45642 |
|