| 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 17458-17458 | 震 是 旋转 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17482-17482 | 离心运动 是 旋转 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17498-17498 | 向心运动 是 旋转 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3060-3060 | ChurningButter 是 旋转 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | ScrollWheelRotating 是 旋转 的 subclass |
|
|