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 478-481
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 474-474 ComputerTouchscreenKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 471-471 ComputerTouchscreenKeyboard is a subclass of ComputerTouchscreen
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911 ComputerTouchscreenKeyboard is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 472-472 ComputerTouchscreenKeyboard is a subclass of icon
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 473-473 ComputerTouchscreenKeyboard is a subclass of Image

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


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

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


(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476 The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard

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


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


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