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 65682-65682 |
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 |
|