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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


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


        (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