MouseCursor - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint MouseCursor GUIActiveArea)	ComputerInput.kif 1064-1064	Mouse cursor is disjoint from GUI active area
(disjoint MouseCursor TextCursor)	ComputerInput.kif 1063-1063	Mouse cursor is disjoint from text 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 1060-1062	Mouse cursor is disjoint from text cursor
(subclass MouseCursor Cursor)	ComputerInput.kif 1059-1059	Mouse cursor is a subclass of cursor

appearance as argument number 2

(termFormat EnglishLanguage MouseCursor "mouse cursor")

domainEnglishFormat.kif 65250-65250

antecedent

(=> (and (instance ?CURSOR1 MouseCursor) (instance ?CURSOR2 MouseCursor) (screenOfGUIE ?CURSOR1 ?SCREEN) (screenOfGUIE ?CURSOR2 ?SCREEN)) (equal ?CURSOR1 ?CURSOR2))	ComputerInput.kif 1067-1073	If a GUI element is an instance of mouse cursor and another GUI element is an instance of mouse cursor and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen, then the GUI element is equal to the other GUI element
(=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState))	ComputerInput.kif 1990-1992	If a GUI element is an instance of mouse cursor, then the GUI element has state GUE displayed state

consequent

(=>
    (and
        (instance ?ACT DraggingWithCursor)
        (patient ?ACT ?CURSOR)
        (instance ?CURSOR Cursor))
    (instance ?CURSOR MouseCursor))

ComputerInput.kif 1753-1758

statement

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

ComputerInput.kif 1952-1955