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 837-837 disjoint Cursor and InterfaceWindow
(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 815-815
(subclass Cursor GUIElement) ComputerInput.kif 814-814 subclass Cursor and GUIElement

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


(subclass MouseCursor Cursor) ComputerInput.kif 821-821 subclass MouseCursor and Cursor
(subclass TextCursor Cursor) ComputerInput.kif 818-818 subclass TextCursor and Cursor

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


(=>
    (and
        (instance ?ACT DraggingWithCursor)
        (patient ?ACT ?CURSOR)
        (instance ?CURSOR Cursor))
    (instance ?CURSOR MouseCursor))
ComputerInput.kif 1366-1371
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?GUIE))
ComputerInput.kif 1953-1960

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1375-1381
(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))
ComputerInput.kif 1346-1351