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 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 1504-1504 |
MouseButtonHoldDown 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 1493-1493 |
ShiftClicking 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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64648-64648 |
|