No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1430-1430 | Clicking est une sous-classe de UserDirectAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1436-1436 | DoubleClicking est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1453-1453 | RightClicking est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1469-1469 | LeftClicking est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1482-1482 | MiddleClicking est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1493-1493 | ShiftClicking est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1504-1504 | MouseButtonHoldDown est une sous-classe de Clicking |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1558-1558 | TouchSurfaceTap est une sous-classe de Clicking |