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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreenKeyboard

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

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938 不相交的 GUIButton and ComputerTouchscreenKeyboard
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030 不相交的 GUISlider and ComputerTouchscreenKeyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 892-892 不相交的 GraphicalComputerMenu and ComputerTouchscreenKeyboard
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979 不相交的 ScrollBarBar and ComputerTouchscreenKeyboard
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 子類 ComputerTouchscreenKeypad and ComputerTouchscreenKeyboard
(termFormat EnglishLanguage ComputerTouchscreenKeyboard "computer touchscreen keyboard") domainEnglishFormat.kif 64686-64686

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


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


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 is open source software produced by Articulate Software and its partners