| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11035-11035 | 子類 Motion and Process |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3004-3004 | 子類 旅 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17132-17132 | 子類 拉伸 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | 子類 旋轉 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17512-17512 | 子類 逆 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17606-17606 | 子類 拉 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17612 | 子類 Pushing and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | 子類 開盤 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21525-21525 | 子類 關閉 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | 子類 向上運動 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11087-11087 | 子類 向下運動 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11116-11116 | 子類 BodyMotion and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | 子類 地質過程 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | 子類 天氣過程 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | 子類 液體運動 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11266 | 子類 氣體運動 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11296-11296 | 子類 DirectionChange and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11571-11571 | 子類 易位 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | 子類 Radiating and Motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | 子類 灌溉 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | 子類 蜂擁 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | 子類 EngineCycle and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | 子類 FourStrokeIntake and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | 子類 FourStrokeCompression and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | 子類 FourStrokeCombustion and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | 子類 FourStrokeExhaust and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 457-457 | 子類 TwoStrokeIntake and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 485-485 | 子類 TwoStrokeCompression and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 502-502 | 子類 TwoStrokeTransfer and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1988-1988 | 子類 Compressing and Motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2214-2214 | 子類 EngineCranking and Motion |
|
|