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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cursor

Sigma KEE - Cursor
Cursor(cursor)cursor, pointer

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


(disjoint Cursor InterfaceWindow) ComputerInput.kif 1082-1082 Cursor is disjoint from interface window
(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 1047-1051
(subclass Cursor GUIElement) ComputerInput.kif 1046-1046 Cursor is a subclass of GUI element

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


(subclass MouseCursor Cursor) ComputerInput.kif 1059-1059 Mouse cursor is a subclass of cursor
(subclass TextCursor Cursor) ComputerInput.kif 1054-1054 Text cursor is a subclass of cursor
(termFormat EnglishLanguage Cursor "cursor") domainEnglishFormat.kif 64727-64727

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


(=>
    (and
        (instance ?ACT DraggingWithCursor)
        (patient ?ACT ?CURSOR)
        (instance ?CURSOR Cursor))
    (instance ?CURSOR MouseCursor))
ComputerInput.kif 1753-1758
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1762-1768
(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))
ComputerInput.kif 1732-1737