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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphicalComputerMenu
GraphicalComputerMenu

appearance as argument number 1
-------------------------


(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard) ComputerInput.kif 920-920 disjoint GraphicalComputerMenu and ComputerTouchscreenKeyboard
(disjoint GraphicalComputerMenu ComputerTouchscreenKeypad) ComputerInput.kif 919-919 disjoint GraphicalComputerMenu and ComputerTouchscreenKeypad
(documentation GraphicalComputerMenu EnglishLanguage "A GraphicalComputerMenu is a ComputerMenu that displays a user's options and permits the user to select one or more of the options in a graphical manner and usually using a keyboard as well.") ComputerInput.kif 916-918
(havePartTypes GraphicalComputerMenu GraphicalMenuItem) ComputerInput.kif 1178-1178 havePartTypes GraphicalComputerMenu and GraphicalMenuItem
(subclass GraphicalComputerMenu ComputerMenu) ComputerInput.kif 913-913 subclass GraphicalComputerMenu and ComputerMenu
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 914-914 subclass GraphicalComputerMenu and GUIActiveArea

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


(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1177-1177 partTypes GraphicalMenuItem and GraphicalComputerMenu
(subclass ComboListTextBox GraphicalComputerMenu) ComputerInput.kif 935-935 subclass ComboListTextBox and GraphicalComputerMenu
(subclass DropDownList GraphicalComputerMenu) ComputerInput.kif 929-929 subclass DropDownList and GraphicalComputerMenu
(subclass GraphicalSubMenu GraphicalComputerMenu) ComputerInput.kif 941-941 subclass GraphicalSubMenu and GraphicalComputerMenu
(subclass ListBox GraphicalComputerMenu) ComputerInput.kif 925-925 subclass ListBox and GraphicalComputerMenu

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


(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 915-915 classIntersection ComputerMenu, UIElement and GraphicalComputerMenu

consequent
-------------------------


(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENU)
        (and
            (instance ?MENU GraphicalComputerMenu)
            (accessibleFromMenu ?SUB ?MENU))))
ComputerInput.kif 946-951


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