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


KB Term:  Term intersection
English Word: 

Sigma KEE - MouseCursor
MouseCursor(mouse cursor)

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


(subclass MouseCursor Cursor) ComputerInput.kif 1075-1075 Mouse cursor is a subclass of cursor
(documentation MouseCursor EnglishLanguage "A MouseCursor is a Cursor that locates a location on a computer screen ``pointed to'' by a computer mouse, trackball, joystick, or other device. Both a mouse cursor and a text cursor may be visible at the same time.") ComputerInput.kif 1076-1078 Mouse cursor is a subclass of cursor
(disjoint MouseCursor TextCursor) ComputerInput.kif 1079-1079 Mouse cursor is disjoint from text cursor
(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1080-1080 Mouse cursor is disjoint from GUI active area

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


(termFormat EnglishLanguage MouseCursor "mouse cursor") domainEnglishFormat.kif 65205-65205

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


(=>
    (and
        (instance ?CURSOR1 MouseCursor)
        (instance ?CURSOR2 MouseCursor)
        (screenOfGUIE ?CURSOR1 ?SCREEN)
        (screenOfGUIE ?CURSOR2 ?SCREEN))
    (equal ?CURSOR1 ?CURSOR2))		 ComputerInput.kif 1083-1089 If X is an instance of mouse cursor, Y is an instance of mouse cursor, X is displayed on Z, and Y is displayed on Z, then equal X and Y
(=>
    (instance ?CURSOR MouseCursor)
    (hasGUEState ?CURSOR GUE_DisplayedState))		 ComputerInput.kif 2006-2008 If X is an instance of mouse cursor, then X has state GUE displayed state

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


(=>
    (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