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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TouchSurfaceAction

Sigma KEE - TouchSurfaceAction
TouchSurfaceAction

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


(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1232-1233
(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") ComputerInput.kif 1215-1215
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1214-1214
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1213-1213

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1316-1316
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1326-1326
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1349-1349
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1255-1255
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1278-1278
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1242-1242
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1231-1231
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1237-1237

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


(=>
    (instance ?ACT TouchSurfaceAction)
    (exists (?TOUCHSURF)
        (and
            (patient ?ACT ?TOUCHSURF)
            (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))))
ComputerInput.kif 1217-1222

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?ACT TouchSurfaceAction))
ComputerInput.kif 1224-1229


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