Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ScreenTouchAction(screen touch action) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ScreenTouchAction "screen touch action") | domainEnglishFormat.kif 65453-65453 |
| antecedent |
|
|
| (=> (instance ?ACT ScreenTouchAction) (exists (?TOUCHSCREEN) (and (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)))) |
ComputerInput.kif 1596-1601 | If X is an instance of screen touch action, then there exists Y such that Y is a patient of X and Y is an instance of computer touchscreen |
| (=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen)) |
ComputerInput.kif 1603-1608 | If X is an instance of screen touch action, Y is a patient of X, and Y is an instance of touch sensitive computer input device, then Y is an instance of computer touchscreen |
| consequent |
|
|
| (=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction)) |
ComputerInput.kif 1610-1615 | If X is an instance of user direct action, Y is a patient of X, and Y is an instance of computer touchscreen, then X is an instance of screen touch action |
|