No TPTP formula. May not be expressible in strict first order. | Merge.kif 10850-10850 | 设计 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10851-10851 | 设计 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3290-3290 | 平面设计 是 设计 的 subclass |