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