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 398-398
(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
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 383-383

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


(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 411-411
(disjoint TouchSensitiveComputerInputDevice ComputerMouse) ComputerInput.kif 423-423
(termFormat EnglishLanguage ComputerMouse "computer mouse") domainEnglishFormat.kif 64682-64682
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 401-401

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