| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17468-17468 | 子類 旋轉 and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17485-17485 | 子類 震 and 旋轉 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17509-17509 | 子類 離心運動 and 旋轉 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17525-17525 | 子類 向心運動 and 旋轉 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3060-3060 | 子類 ChurningButter and 旋轉 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | 子類 ScrollWheelRotating and 旋轉 |
|
|