Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  frequency

 Sigma KEE - Cursor
Cursor(cursor)cursor, pointer

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


(subclass Cursor GUIElement) ComputerInput.kif 1062-1062 Cursor is a subclass of GUI element
(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 1063-1067 Cursor is a subclass of GUI element
(disjoint Cursor InterfaceWindow) ComputerInput.kif 1098-1098 Cursor is disjoint from interface window

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


(subclass TextCursor Cursor) ComputerInput.kif 1070-1070 Text cursor is a subclass of cursor
(subclass MouseCursor Cursor) ComputerInput.kif 1075-1075 Mouse cursor is a subclass of cursor
(termFormat EnglishLanguage Cursor "cursor") domainEnglishFormat.kif 64730-64730 Mouse cursor is a subclass of cursor

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


(=>
    (and
        (instance ?ACT DraggingWithCursor)
        (patient ?ACT ?CURSOR)
        (instance ?CURSOR Cursor))
    (instance ?CURSOR MouseCursor))		 ComputerInput.kif 1769-1774 If X is an instance of dragging with cursor, Y is a patient of X, and Y is an instance of cursor, then Y is an instance of mouse cursor
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2439-2446 If X is an instance of uncovering graphical window, Y is a patient of X, Y is an instance of interface window, Z is a proper part of Y, and Z is an instance of cursor, then X uncovers Y

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


(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))		 ComputerInput.kif 1748-1753 If X is an instance of moving cursor, then there exists Y such that Y is a patient of X and Y is an instance of cursor
(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))		 ComputerInput.kif 1778-1784 If X is an instance of dragging with cursor, then there exists Y such that Y is a patient of X, Y is an instance of GUI active area, and Y is not an instance of cursor