|
|
   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 est une sous-classe de UserSignifiedAction |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2325-2325 | BringingGEToFront est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2432-2432 | ClosingGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2497-2497 | CoveringGUIElement est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2314-2314 | Highlighting est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2291-2291 | JumpingToActivateUIElement est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2462-2462 | MaximizingGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2447-2447 | MinimizingGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1723-1723 | MovingCursor est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2357-2357 | OpeningGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2551-2551 | PartiallyCoveringGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2319-2319 | ResizingScreenObject est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2619-2619 | UncoveringGUIElement est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2480-2480 | UnmaximizingGraphicalWindow est une sous-classe de UserSignifiedGraphicalAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1784-1784 | WindowScrollingByUser est une sous-classe de 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 | Entit� est une instance de WindowScrolling entit� est une instance de UserSignifiedGraphicalAction entit� est une instance de WindowScrollingByUser |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1709-1714 |
|
|
|
|