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