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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerTouchscreenKeyboard
ComputerTouchscreenKeyboard(computer touchscreen keyboard)

appearance as argument number 1
-------------------------


(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 452-455
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 449-449 Computer touchscreen keyboard is a subclass of generic computer keyboard
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446 Computer touchscreen keyboard is a subclass of computer touchscreen
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 Computer touchscreen keyboard is a subclass of GUI active area
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447 Computer touchscreen keyboard is a subclass of icon
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448 Computer touchscreen keyboard is a subclass of image
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450 Computer touchscreen keyboard is a subclass of touch sensitive computer input device

appearance as argument number 2
-------------------------


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938 GUI button is disjoint from computer touchscreen keyboard
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030 GUI slider is disjoint from computer touchscreen keyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 892-892 Graphical computer menu is disjoint from computer touchscreen keyboard
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979 Scroll bar bar is disjoint from computer touchscreen keyboard
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 Computer touchscreen keypad is a subclass of computer touchscreen keyboard
(termFormat EnglishLanguage ComputerTouchscreenKeyboard "computer touchscreen keyboard") domainEnglishFormat.kif 64734-64734 Computer touchscreen keypad is a subclass of computer touchscreen keyboard

antecedent
-------------------------


(=>
    (instance ?KEYBOARD ComputerTouchscreenKeyboard)
    (exists (?SCREEN)
        (and
            (instance ?SCREEN ComputerTouchscreen)
            (displayedUpon ?KEYBOARD ?SCREEN))))
ComputerInput.kif 457-462


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners