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 452-455
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 449-449
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 892-892
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464
(termFormat EnglishLanguage ComputerTouchscreenKeyboard "computer touchscreen keyboard") domainEnglishFormat.kif 64711-64711

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