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 The intersection of TouchSurfaceAction and SlidingComputerInputDeviceAction is 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 TouchSurfaceAction is a subclass of touching
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1560-1560 TouchSurfaceAction is a subclass of UserDirectAction

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


(disjoint AudioInput TouchSurfaceAction) ComputerInput.kif 1670-1670 AudioInput is disjoint from TouchSurfaceAction
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1650-1650 JoystickMotion is disjoint from TouchSurfaceAction
(disjoint ScrollWheelRotating TouchSurfaceAction) ComputerInput.kif 1682-1682 ScrollWheelRotating is disjoint from TouchSurfaceAction
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1708-1708 Typing is disjoint from TouchSurfaceAction
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1606-1606 ScreenTouchAction is a subclass of TouchSurfaceAction
(subclass TouchPadAction TouchSurfaceAction) ComputerInput.kif 1630-1630 TouchPadAction is a subclass of TouchSurfaceAction
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) ComputerInput.kif 1592-1592 TouchSurfaceDoubleFingerSlide is a subclass of TouchSurfaceAction
(subclass TouchSurfaceSlide TouchSurfaceAction) ComputerInput.kif 1579-1579 TouchSurfaceSlide is a subclass of TouchSurfaceAction
(subclass TouchSurfaceTap TouchSurfaceAction) ComputerInput.kif 1586-1586 TouchSurfaceTap is a subclass of 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