ComputerTouchscreen - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice)	ComputerInput.kif 453-453	Computer touchscreen is a subclass of touch sensitive computer input device
(subclass ComputerTouchscreen ComputerScreen)	ComputerInput.kif 454-454	Computer touchscreen is a subclass of computer screen
(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 456-460	Computer touchscreen is a subclass of computer screen

appearance as argument number 2

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen)	ComputerInput.kif 462-462	Computer touchscreen keyboard is a subclass of computer touchscreen
(subclass ComputerTouchscreenKeypad ComputerTouchscreen)	ComputerInput.kif 482-482	Computer touchscreen keypad is a subclass of computer touchscreen
(termFormat EnglishLanguage ComputerTouchscreen "computer touchscreen")	domainEnglishFormat.kif 64688-64688	Computer touchscreen keypad is a subclass of computer touchscreen

antecedent

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

consequent

(=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T))))	Mid-level-ontology.kif 32170-32175	If X is an instance of tablet computer, then there exists Y such that Y is an instance of computer touchscreen and Y is a part of X
(=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN))))	ComputerInput.kif 473-478	If X is an instance of computer touchscreen keyboard, then there exists Y such that Y is an instance of computer touchscreen and X is displayed on Y
(=> (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