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