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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerTouchscreenKeyboard
ComputerTouchscreenKeyboard

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 478-481
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 474-474 subclass ComputerTouchscreenKeyboard and ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 471-471 subclass ComputerTouchscreenKeyboard and ComputerTouchscreen
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911 subclass ComputerTouchscreenKeyboard and GUIActiveArea
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 472-472 subclass ComputerTouchscreenKeyboard and Icon
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 473-473 subclass ComputerTouchscreenKeyboard and Image

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 966-966 disjoint GUIButton and ComputerTouchscreenKeyboard
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1058-1058 disjoint GUISlider and ComputerTouchscreenKeyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 920-920 disjoint GraphicalComputerMenu and ComputerTouchscreenKeyboard
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 1007-1007 disjoint ScrollBarBar and ComputerTouchscreenKeyboard
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 490-490 subclass ComputerTouchscreenKeypad and ComputerTouchscreenKeyboard

appearance as argument number 3
-------------------------


(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476 classIntersection ComputerKeyboard, TouchSensitiveComputerInputDevice and ComputerTouchscreenKeyboard

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


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


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