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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScreenTouchAction
ScreenTouchAction(screen touch action)

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


(documentation ScreenTouchAction EnglishLanguage "A ScreenTouchAction is a TouchSurfaceAction using a ComputerTouchscreen.") ComputerInput.kif 1578-1579
(subclass ScreenTouchAction TouchSurfaceAction) ComputerInput.kif 1577-1577 Screen touch action is a subclass of touch surface action

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


(termFormat EnglishLanguage ScreenTouchAction "screen touch action") domainEnglishFormat.kif 65450-65450

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


(=>
    (and
        (instance ?ACT ScreenTouchAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?TOUCHSURF ComputerTouchscreen))
ComputerInput.kif 1587-1592
(=>
    (instance ?ACT ScreenTouchAction)
    (exists (?TOUCHSCREEN)
        (and
            (patient ?ACT ?TOUCHSCREEN)
            (instance ?TOUCHSCREEN ComputerTouchscreen))))
ComputerInput.kif 1580-1585

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))
ComputerInput.kif 1594-1599


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