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 421-421 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 407-410
(havePartTypes ComputerMouse MouseButton) ComputerInput.kif 423-423 ComputerMouse has parts of type MouseButton
(subclass ComputerMouse ComputerInputDevice) ComputerInput.kif 406-406 ComputerMouse is a subclass of computer input device

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


(disjoint ScrollWheel ComputerMouse) ComputerInput.kif 434-434 ScrollWheel is disjoint from ComputerMouse
(disjoint TouchSensitiveComputerInputDevice ComputerMouse) ComputerInput.kif 446-446 TouchSensitiveComputerInputDevice is disjoint from ComputerMouse
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 424-424 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners