PressingKeyFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1361-1362 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1359-1359 | O argumento numero 1 de PressingKeyFn e' uma sub-classe de ComputerKeyboardKey |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1358-1358 | PressingKeyFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1360-1360 | Os valores retornados por PressingKeyFn sao as sub-classes de SingleKeyPress |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4202-4202 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4201-4201 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4200-4200 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65354-65354 |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1741-1741 | udaCanSignify PressingKeyFn ArrowKey and MovingCursor |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1808-1808 | udaCanSignify PressingKeyFn ArrowKey and WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1815-1816 | udaCanSignify PressingKeyFn DownArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2302-2302 | udaCanSignify PressingKeyFn DownArrowKey and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1836-1836 | udaCanSignify PressingKeyFn EnterKey and SubmitAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1824-1825 | udaCanSignify PressingKeyFn LeftArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2311-2311 | udaCanSignify PressingKeyFn LeftArrowKey and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1822-1823 | udaCanSignify PressingKeyFn RightArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2301-2301 | udaCanSignify PressingKeyFn RightArrowKey and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2300-2300 | udaCanSignify PressingKeyFn TabKey and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1813-1814 | udaCanSignify PressingKeyFn UpArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2312-2312 | udaCanSignify PressingKeyFn UpArrowKey and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2309-2310 | udaCanSignify a uniao de PressingKeyFn TabKey e ShiftKeyHoldDown and SelectingActiveArea |
![]() |
![]() |