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 classIntersection TouchSurfaceAction, SlidingComputerInputDeviceAction and TouchSurfaceSlide
(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 and Touching
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1560-1560 subclass TouchSurfaceAction and UserDirectAction

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1670-1670 disjoint AudioInput and TouchSurfaceAction
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1650-1650 disjoint JoystickMotion and TouchSurfaceAction
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1682-1682 disjoint ScrollWheelRotating and TouchSurfaceAction
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1708-1708 disjoint Typing and TouchSurfaceAction
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1606-1606 subclass ScreenTouchAction and TouchSurfaceAction
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1630-1630 subclass TouchPadAction and TouchSurfaceAction
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1592-1592 subclass TouchSurfaceDoubleFingerSlide and TouchSurfaceAction
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1579-1579 subclass TouchSurfaceSlide and TouchSurfaceAction
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1586-1586 subclass TouchSurfaceTap and TouchSurfaceAction

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