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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TouchSurfaceAction
TouchSurfaceAction

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


(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") ComputerInput.kif 1532-1533
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1531-1531
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1530-1530

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1652-1652
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1632-1632
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1664-1664
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1690-1690
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1574-1574
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1612-1612
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1560-1560
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1549-1549
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1554-1554

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners