ComputerTouchscreenKeyboard - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen)	ComputerInput.kif 462-462	Computer touchscreen keyboard is a subclass of computer touchscreen
(subclass ComputerTouchscreenKeyboard Icon)	ComputerInput.kif 463-463	Computer touchscreen keyboard is a subclass of icon
(subclass ComputerTouchscreenKeyboard Image)	ComputerInput.kif 464-464	Computer touchscreen keyboard is a subclass of image
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic)	ComputerInput.kif 465-465	Computer touchscreen keyboard is a subclass of generic computer keyboard
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice)	ComputerInput.kif 466-466	Computer touchscreen keyboard is a subclass of touch sensitive computer input device
(documentation ComputerTouchscreenKeyboard EnglishLanguage "A portion of a ComputerTouchscreen which displays a keyboard and acts as a keyboard, accepting taps on the key images as if the keys were typed.")	ComputerInput.kif 468-471	Computer touchscreen keyboard is a subclass of touch sensitive computer input device
(subclass ComputerTouchscreenKeyboard GUIActiveArea)	ComputerInput.kif 899-899	Computer touchscreen keyboard is a subclass of GUI active area

appearance as argument number 2

(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard)	ComputerInput.kif 480-480	Computer touchscreen keypad is a subclass of computer touchscreen keyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard)	ComputerInput.kif 908-908	Graphical computer menu is disjoint from computer touchscreen keyboard
(disjoint GUIButton ComputerTouchscreenKeyboard)	ComputerInput.kif 954-954	GUI button is disjoint from computer touchscreen keyboard
(disjoint ScrollBarBar ComputerTouchscreenKeyboard)	ComputerInput.kif 995-995	Scroll bar bar is disjoint from computer touchscreen keyboard
(disjoint GUISlider ComputerTouchscreenKeyboard)	ComputerInput.kif 1046-1046	GUI slider is disjoint from computer touchscreen keyboard
(termFormat EnglishLanguage ComputerTouchscreenKeyboard "computer touchscreen keyboard")	domainEnglishFormat.kif 64689-64689	GUI slider is disjoint from computer touchscreen keyboard

antecedent

(=>
    (instance ?KEYBOARD ComputerTouchscreenKeyboard)
    (exists (?SCREEN)
        (and
            (instance ?SCREEN ComputerTouchscreen)
            (displayedUpon ?KEYBOARD ?SCREEN))))