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 1197-1198
(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") ComputerInput.kif 1180-1180
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1179-1179
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1178-1178

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1281-1281
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1291-1291
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1314-1314
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1220-1220
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1243-1243
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1207-1207
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1196-1196
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1202-1202

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


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

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


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


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