| 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 1724-1724 | 子類 MovingCursor and 易位 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | 子類 MovingCursor and Guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1744-1744 | 子類 DraggingWithCursor and MovingCursor |
|
|