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

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


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

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


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

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