No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | 向上运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 544-544 | 跳跃 是 向上运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19922-19922 | 站起来 是 向上运动 的 subclass |