No TPTP formula. May not be expressible in strict first order. | Merge.kif 10850-10850 | 子類 設計 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10851-10851 | 子類 設計 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3290-3290 | 子類 平面設計 and 設計 |