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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TouchSurfaceAction
TouchSurfaceAction(touch surface action)

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


(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") ComputerInput.kif 1535-1536
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1534-1534 Touch surface action is a subclass of touching
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1533-1533 Touch surface action is a subclass of user direct action

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1655-1655 Audio input is disjoint from touch surface action
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1635-1635 Joystick motion is disjoint from touch surface action
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1667-1667 Scroll wheel rotating is disjoint from touch surface action
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1693-1693 Typing is disjoint from touch surface action
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1577-1577 Screen touch action is a subclass of touch surface action
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1615-1615 Touch pad action is a subclass of touch surface action
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1563-1563 Touch surface double finger slide is a subclass of touch surface action
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1552-1552 Touch surface slide is a subclass of touch surface action
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1557-1557 Touch surface tap is a subclass of touch surface action
(termFormat EnglishLanguage TouchSurfaceAction "touch surface action") domainEnglishFormat.kif 65612-65612

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


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

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


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


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