MouseCursor - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint MouseCursor GUIActiveArea)	ComputerInput.kif 1064-1064
(disjoint MouseCursor TextCursor)	ComputerInput.kif 1063-1063
(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
(subclass MouseCursor Cursor)	ComputerInput.kif 1059-1059

appearance as argument number 2

(termFormat EnglishLanguage MouseCursor "mouse cursor")

domainEnglishFormat.kif 65227-65227

antecedent

(=> (and (instance ?CURSOR1 MouseCursor) (instance ?CURSOR2 MouseCursor) (screenOfGUIE ?CURSOR1 ?SCREEN) (screenOfGUIE ?CURSOR2 ?SCREEN)) (equal ?CURSOR1 ?CURSOR2))	ComputerInput.kif 1067-1073
(=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState))	ComputerInput.kif 1990-1992

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