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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScreenTouchAction

Sigma KEE - ScreenTouchAction
ScreenTouchAction

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 ScreenTouchAction è una sottoclasse di TouchSurfaceAction

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


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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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