ComputerTouchscreen - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerTouchscreen EnglishLanguage "A touch-sensitive ComputerScreen for accepting point and click input on its display surface. The device is operated by moving (normally) a finger across the surface of the device. Clicking is achieved by tapping the surface. Multi-finger gestures may have other effects.")	ComputerInput.kif 440-444
(subclass ComputerTouchscreen ComputerScreen)	ComputerInput.kif 438-438
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice)	ComputerInput.kif 437-437

appearance as argument number 2

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen)	ComputerInput.kif 446-446
(subclass ComputerTouchscreenKeypad ComputerTouchscreen)	ComputerInput.kif 466-466
(termFormat EnglishLanguage ComputerTouchscreen "computer touchscreen")	domainEnglishFormat.kif 64710-64710

antecedent

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

ComputerInput.kif 1594-1599

consequent

(=> (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
(=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN))))	ComputerInput.kif 457-462
(=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T))))	Mid-level-ontology.kif 29847-29852