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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerMouse

Sigma KEE - ComputerMouse
ComputerMouse

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


(disjoint ComputerMouse ComputerKeyboard) ComputerInput.kif 377-377
(documentation ComputerMouse EnglishLanguage "A ComputerInputDevice that fits in a person's hand for accepting point and click input on a 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 376-376
(documentation ComputerMouse EnglishLanguage "A ComputerInputDevice working on a flat surface and used to move the cursor in graphical user interface and perform clicking actions.") QoSontology.kif 459-461
(havePartTypes ComputerMouse MouseButton) ComputerInput.kif 378-378
(lexicon ComputerMouse LexNoun "mouse") QoSontology.kif 463-463
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 375-375

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


(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 384-384
(disjoint TouchSensitiveComputerInputDevice ComputerMouse) ComputerInput.kif 388-388
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 379-379

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


(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))
QoSontology.kif 465-472

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


(=>
    (instance ?ACT MouseButtonHoldDown)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1192-1197
(=>
    (instance ?ACT MouseMoving)
    (exists (?MOUSE)
        (and
            (patient ?ACT ?MOUSE)
            (instance ?MOUSE ComputerMouse))))
ComputerInput.kif 1206-1211


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners