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