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
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446 ComputerTouchscreenKeyboardComputerTouchscreensubclass
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 ComputerTouchscreenKeyboardGUIActiveAreasubclass
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447 ComputerTouchscreenKeyboard图标subclass
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448 ComputerTouchscreenKeyboardImagesubclass
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450 ComputerTouchscreenKeyboardTouchSensitiveComputerInputDevicesubclass

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938 GUIButton 和 % 2 是 disjoint
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030 GUISlider 和 % 2 是 disjoint
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 892-892 GraphicalComputerMenu 和 % 2 是 disjoint
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979 ScrollBarBar 和 % 2 是 disjoint
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 ComputerTouchscreenKeypadComputerTouchscreenKeyboardsubclass
(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