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 ComputerTouchscreenKeyboardComputerKeyboard_Genericsubclass では %n
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446 ComputerTouchscreenKeyboardComputerTouchscreensubclass では %n
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 ComputerTouchscreenKeyboardGUIActiveAreasubclass では %n
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447 ComputerTouchscreenKeyboardアイコンsubclass では %n
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448 ComputerTouchscreenKeyboardImagesubclass では %n
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450 ComputerTouchscreenKeyboardTouchSensitiveComputerInputDevicesubclass では %n

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938 GUIButtonComputerTouchscreenKeyboarddisjoint では %n
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030 GUISliderComputerTouchscreenKeyboarddisjoint では %n
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 892-892 GraphicalComputerMenuComputerTouchscreenKeyboarddisjoint では %n
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979 ScrollBarBarComputerTouchscreenKeyboarddisjoint では %n
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 ComputerTouchscreenKeypadComputerTouchscreenKeyboardsubclass では %n
(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