No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1664-1664 | ScrollWheelRotating est une sous-classe de UserDirectAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | ScrollWheelRotating est une sous-classe de Rotating |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1679-1679 | ScrollWheelRotatingAway est une sous-classe de ScrollWheelRotating |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1683-1683 | ScrollWheelRotatingInward est une sous-classe de ScrollWheelRotating |