Rotating(旋轉) |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4150-4158 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4321-4334 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4946-4948 |