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 ComputerTouchscreenKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446 ComputerTouchscreenKeyboard is a subclass of ComputerTouchscreen
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 882-882 ComputerTouchscreenKeyboard is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447 ComputerTouchscreenKeyboard is a subclass of icon
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448 ComputerTouchscreenKeyboard is a subclass of Image
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450 ComputerTouchscreenKeyboard is a subclass of TouchSensitiveComputerInputDevice

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


(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 937-937 GUIButton is disjoint from ComputerTouchscreenKeyboard
(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1029-1029 GUISlider is disjoint from ComputerTouchscreenKeyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 891-891 GraphicalComputerMenu is disjoint from ComputerTouchscreenKeyboard
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 978-978 ScrollBarBar is disjoint from ComputerTouchscreenKeyboard
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 ComputerTouchscreenKeypad is a subclass of ComputerTouchscreenKeyboard

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