Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JumpingToActivateUIElement
JumpingToActivateUIElement

appearance as argument number 1
-------------------------


(documentation JumpingToActivateUIElement EnglishLanguage "A UserSignifiedAction causing the cursor to ``jump'' from its current position to a UIElement, making it ``Active''.") ComputerInput.kif 2307-2308
(subclass JumpingToActivateUIElement ActivatingUIElement) ComputerInput.kif 2305-2305 JumpingToActivateUIElement is a subclass of ActivatingUIElement
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2306-2306 JumpingToActivateUIElement is a subclass of UserSignifiedGraphicalAction

appearance as argument number 2
-------------------------


(subclass JumpingBackwardToActivateUIElement JumpingToActivateUIElement) ComputerInput.kif 2319-2319 JumpingBackwardToActivateUIElement is a subclass of JumpingToActivateUIElement
(subclass JumpingForwardToActivateUIElement JumpingToActivateUIElement) ComputerInput.kif 2310-2310 JumpingForwardToActivateUIElement is a subclass of JumpingToActivateUIElement


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners