|
|
   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 是 UserSignifiedAction 的 subclass |
| appearance as argument number 2 |
|
|
| 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 2432-2432 | ClosingGraphicalWindow 是 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 2314-2314 | Highlighting 是 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 2462-2462 | MaximizingGraphicalWindow 是 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 1723-1723 | MovingCursor 是 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 2551-2551 | PartiallyCoveringGraphicalWindow 是 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 2619-2619 | UncoveringGUIElement 是 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 1784-1784 | WindowScrollingByUser 是 UserSignifiedGraphicalAction 的 subclass |
| 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 | 实体 是 WindowScrolling 的 instance 和 那个 实体 是 UserSignifiedGraphicalAction 的 instance 若且唯若 那个 实体 是 WindowScrollingByUser 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1709-1714 |
|
|
|
|