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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerMenu

Sigma KEE - ComputerMenu
ComputerMenu(computer menu)computer_menu, drop-down_menu, menu

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


(disjoint ComputerMenu ScrollBar) ComputerInput.kif 951-951 Computer menu is disjoint from scroll bar
(documentation ComputerMenu EnglishLanguage "A ComputerMenu is an image generated by a computer program of a set of choices tha a user has for interacting with that program in conjunction with a method for the user to input a selection to the program.") ComputerInput.kif 847-849
(partTypes ComputerMenu ComputerMenuItem) ComputerInput.kif 1134-1134 Every computer menu is a part of a computer menu item
(subclass ComputerMenu UIElement) ComputerInput.kif 846-846 Computer menu is a subclass of UI element

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


(disjoint GUISliderIndicator ComputerMenu) ComputerInput.kif 1042-1042 GUI slider indicator is disjoint from computer menu
(disjoint ScrollBarArrowButton ComputerMenu) ComputerInput.kif 988-988 Scroll bar arrow button is disjoint from computer menu
(disjoint ScrollBarBar ComputerMenu) ComputerInput.kif 977-977 Scroll bar bar is disjoint from computer menu
(disjoint TextBox ComputerMenu) ComputerInput.kif 1104-1104 Text box is disjoint from computer menu
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1133-1133 Every computer menu item is a part of a computer menu
(subclass GraphicalComputerMenu ComputerMenu) ComputerInput.kif 885-885 Graphical computer menu is a subclass of computer menu
(subclass TextualComputerMenu ComputerMenu) ComputerInput.kif 857-857 Textual computer menu is a subclass of computer menu
(termFormat EnglishLanguage ComputerMenu "computer menu") domainEnglishFormat.kif 64680-64680

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


(domain accessibleFromMenu 2 ComputerMenu) ComputerInput.kif 853-853 The number 2 argument of accessible from menu is an instance of computer menu

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


(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))
ComputerInput.kif 2283-2288


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