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