| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11059-11059 | 子類 向上運動 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 544-544 | 子類 跳躍 and 向上運動 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19923-19923 | 子類 站起來 and 向上運動 |
|
|