|
|
   UserSignifiedGraphicalAction
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1706-1707 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1705-1705 | 子類 UserSignifiedGraphicalAction and UserSignifiedAction |
| appearance as argument number 2 |
|
|
| 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 2432-2432 | 子類 ClosingGraphicalWindow 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 2314-2314 | 子類 Highlighting 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 2462-2462 | 子類 MaximizingGraphicalWindow 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 1723-1723 | 子類 MovingCursor 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 2551-2551 | 子類 PartiallyCoveringGraphicalWindow 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 2619-2619 | 子類 UncoveringGUIElement 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 1784-1784 | 子類 WindowScrollingByUser and UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65680-65680 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1789-1793 | 例 Entity and WindowScrolling 例 Entity and UserSignifiedGraphicalAction 例 Entity and WindowScrollingByUser |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1709-1714 |
|
|
|
|