Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerMouse
ComputerMouse(computer mouse)computer_mouse, mouse

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 398-398 Computer mouse is disjoint from computer keyboard
(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 384-387
(partTypes ComputerMouse MouseButton) ComputerInput.kif 400-400 Every computer mouse is a part of a mouse button
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 383-383 Computer mouse is a subclass of computer input device

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


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

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


(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))
ComputerInput.kif 389-396

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


(=>
    (instance ?ACT MouseButtonHoldDown)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1509-1514
(=>
    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1526-1531


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners