ScreenTouchAction - Sigma Knowledge base Browser

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

domainEnglishFormat.kif 65498-65498

antecedent

(=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen))	ComputerInput.kif 1587-1592	If a process is an instance of screen touch action and an entity is a patient of the process and the entity is an instance of touch sensitive computer input device, then the entity is an instance of computer touchscreen
(=> (instance ?ACT ScreenTouchAction) (exists (?TOUCHSCREEN) (and (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen))))	ComputerInput.kif 1580-1585	If a process is an instance of screen touch action, then there exists an entity such that the entity is a patient of the process and the entity is an instance of computer touchscreen

consequent

(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))

ComputerInput.kif 1594-1599