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


(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1580-1581
(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") ComputerInput.kif 1562-1563
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1561-1561
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1560-1560

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1684-1684
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1664-1664
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1696-1696
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1722-1722
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1606-1606
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1644-1644
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1592-1592
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1579-1579
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1586-1586

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


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

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


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


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