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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cursor
Cursor

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


(disjoint Cursor InterfaceWindow) ComputerInput.kif 886-886
(documentation Cursor EnglishLanguage "A Cursor is a GUIElement designed for a user to move around a computer screen. A cursor can have different visual forms and may change in appearance depending upon the current type of graphical interaction. A TextCursor locates an active area for inserting or deleting text and is more limited in its movement than a MouseCursor. Both a mouse cursor and a text cursor may be visible at the same time.") ComputerInput.kif 864-864
(subclass Cursor GUIElement) ComputerInput.kif 863-863

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


(subclass MouseCursor Cursor) ComputerInput.kif 870-870
(subclass TextCursor Cursor) ComputerInput.kif 867-867

antecedent
-------------------------


(=>
    (and
        (instance ?ACT DraggingWithCursor)
        (patient ?ACT ?CURSOR)
        (instance ?CURSOR Cursor))
    (instance ?CURSOR MouseCursor))
ComputerInput.kif 1415-1420
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?GUIE))
ComputerInput.kif 2002-2009

consequent
-------------------------


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1424-1430
(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))
ComputerInput.kif 1395-1400

statement
-------------------------


(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1825-1828


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