No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1664-1664 | 子類 ScrollWheelRotating and UserDirectAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | 子類 ScrollWheelRotating and 旋轉 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1679-1679 | 子類 ScrollWheelRotatingAway and ScrollWheelRotating |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1683-1683 | 子類 ScrollWheelRotatingInward and ScrollWheelRotating |
![]() |