ComputerMouse - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerMouse ComputerInputDevice)	ComputerInput.kif 399-399	Computer mouse is a subclass of computer input device
(documentation ComputerMouse EnglishLanguage "A ComputerInputDevice that fits in a person's hand for accepting point and click input on a flat 2D surface. A computer mouse has one or more buttons and may have a ScrollWheel as well. A mouse may be connected to a computer by a power and signalling cable or may have a wireless connection.")	ComputerInput.kif 400-403	Computer mouse is a subclass of computer input device
(disjoint ComputerMouse ComputerKeyboard)	ComputerInput.kif 414-414	Computer mouse is disjoint from computer keyboard
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 416-416	Every computer mouse is a part of a mouse button

appearance as argument number 2

(typicalPart MouseButton ComputerMouse)	ComputerInput.kif 417-417	A mouse button is typically a part of a computer mouse
(disjoint ScrollWheel ComputerMouse)	ComputerInput.kif 427-427	Scroll wheel is disjoint from computer mouse
(disjoint TouchSensitiveComputerInputDevice ComputerMouse)	ComputerInput.kif 439-439	Touch sensitive computer input device is disjoint from computer mouse
(termFormat EnglishLanguage ComputerMouse "computer mouse")	domainEnglishFormat.kif 64685-64685	Touch sensitive computer input device is disjoint from computer mouse

antecedent

(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))

If X is an instance of the operating of computer mouse, then there exists Y such that Y is an instance of object, flat is an attribute of Y, and X is located at Y

consequent

(=> (instance ?ACT MouseButtonHoldDown) (exists (?MOUSE) (and (patient ?ACT ?MOUSE) (instance ?MOUSE ComputerMouse))))	ComputerInput.kif 1525-1530	If X is an instance of mouse button hold down, then there exists Y such that Y is a patient of X and Y is an instance of computer mouse
(=> (instance ?ACT MouseMoving) (exists (?MOUSE) (and (patient ?ACT ?MOUSE) (instance ?MOUSE ComputerMouse))))	ComputerInput.kif 1542-1547	If X is an instance of mouse moving, then there exists Y such that Y is a patient of X and Y is an instance of computer mouse