Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreenKeyboard

Sigma KEE - ComputerTouchscreenKeyboard
ComputerTouchscreenKeyboard(computer touchscreen keyboard)

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))))
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners