MouseCursor - Sigma Knowledge base Browser

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")

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))

statement

(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))