| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1705-1705 | UserSignifiedGraphicalAction e' uma sub-classe de UserSignifiedAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1723-1723 | MovingCursor e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1784-1784 | WindowScrollingByUser e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2291-2291 | JumpingToActivateUIElement e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2314-2314 | Highlighting e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2319-2319 | ResizingScreenObject e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2325-2325 | BringingGEToFront e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2357-2357 | OpeningGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2432-2432 | ClosingGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2447-2447 | MinimizingGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2462-2462 | MaximizingGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2480-2480 | UnmaximizingGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2497-2497 | CoveringGUIElement e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2551-2551 | PartiallyCoveringGraphicalWindow e' uma sub-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2619-2619 | UncoveringGUIElement e' uma sub-classe de UserSignifiedGraphicalAction |
|
|