| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11059-11059 | 向上运动 是 运动 的 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 19923-19923 | 站起来 是 向上运动 的 subclass |
|
|