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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerMouse
ComputerMousecomputer_mouse, mouse

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 398-398 ComputerMouse is disjoint from ComputerKeyboard
(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
(havePartTypes ComputerMouse MouseButton) ComputerInput.kif 400-400 ComputerMouse has parts of type MouseButton
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 383-383 ComputerMouse is a subclass of computer input device

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


(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 411-411 ScrollWheel is disjoint from ComputerMouse
(disjoint TouchSensitiveComputerInputDevice ComputerMouse) ComputerInput.kif 423-423 TouchSensitiveComputerInputDevice is disjoint from ComputerMouse
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 401-401 A MouseButton is typically a part of a ComputerMouse

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 1506-1511
(=>
    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1523-1528


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