udaCanSignify |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1719-1721 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1717-1717 | O argumento numero 1 de udaCanSignify e' uma sub-classe de UserDirectAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1718-1718 | O argumento numero 2 de udaCanSignify e' uma sub-classe de UserSignifiedAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1716-1716 | udaCanSignify e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4854-4854 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4853-4853 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4852-4852 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65964-65964 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1747-1748 | udaCanSignify a intersecao de MouseButtonHoldDown e SlidingComputerInputDeviceAction and DraggingWithCursor |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1805-1806 | udaCanSignify a intersecao de MouseButtonHoldDown e SlidingComputerInputDeviceAction and WindowScrollingByUser |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1749-1750 | udaCanSignify a intersecao de ShiftKeyHoldDown e SlidingComputerInputDeviceAction and DraggingWithCursor |
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 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1742-1742 | udaCanSignify Clicking and MovingCursor |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2173-2173 | udaCanSignify Clicking and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2174-2174 | udaCanSignify DoubleClicking and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1838-1838 | udaCanSignify DoubleClicking and SubmitAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1840-1840 | udaCanSignify EnterKeyPress and SubmitAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2176-2176 | udaCanSignify KeyboardAction and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1837-1837 | udaCanSignify LeftClicking and SubmitAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1740-1740 | udaCanSignify ScrollWheelRotating and MovingCursor |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1807-1807 | udaCanSignify ScrollWheelRotating and WindowScrollingByUser |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |