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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerMouse
ComputerMouse

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 421-421 disjoint ComputerMouse and 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 407-410
(havePartTypes ComputerMouse MouseButton) ComputerInput.kif 423-423 havePartTypes ComputerMouse and MouseButton
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 406-406 subclass ComputerMouse and ComputerInputDevice

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


(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 434-434 disjoint ScrollWheel and ComputerMouse
(disjoint TouchSensitiveComputerInputDevice ComputerMouse) ComputerInput.kif 446-446 disjoint TouchSensitiveComputerInputDevice and ComputerMouse
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 424-424 typicalPart MouseButton and ComputerMouse

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


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

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


(=>
    (instance ?ACT MouseButtonHoldDown)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1536-1541
(=>
    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1553-1558


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