| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11013-11013 | 运动 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3004-3004 | 旅 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17133-17133 | 拉伸 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17441-17441 | 旋转 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17513-17513 | 逆 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17607-17607 | 拉 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17613-17613 | Pushing 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21519-21519 | 开盘 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21526-21526 | 关闭 是 运动 的 subclass |
| 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. | Merge.kif 11065-11065 | 向下运动 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11094-11094 | 身体运动 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11189-11189 | 地质过程 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11197-11197 | 天气过程 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | 液体运动 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11244-11244 | 气体运动 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11274-11274 | 方向改变 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11549-11549 | 易位 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13645-13645 | 辐射 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | 灌溉 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | 蜂拥 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | EngineCycle 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | FourStrokeIntake 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | FourStrokeCompression 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | FourStrokeCombustion 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | FourStrokeExhaust 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 457-457 | TwoStrokeIntake 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 485-485 | TwoStrokeCompression 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 502-502 | TwoStrokeTransfer 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1982-1982 | Compressing 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2208-2208 | EngineCranking 是 运动 的 subclass |
|
|