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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerMenu
ComputerMenu

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


(disjoint ComputerMenu ScrollBar) ComputerInput.kif 951-951
(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
(subclass ComputerMenu UIElement) ComputerInput.kif 846-846

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


(disjoint GUISliderIndicator ComputerMenu) ComputerInput.kif 1042-1042
(disjoint ScrollBarArrowButton ComputerMenu) ComputerInput.kif 988-988
(disjoint ScrollBarBar ComputerMenu) ComputerInput.kif 977-977
(disjoint TextBox ComputerMenu) ComputerInput.kif 1104-1104
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1133-1133
(subclass GraphicalComputerMenu ComputerMenu) ComputerInput.kif 885-885
(subclass TextualComputerMenu ComputerMenu) ComputerInput.kif 857-857
(termFormat EnglishLanguage ComputerMenu "computer menu") domainEnglishFormat.kif 64728-64728

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


(domain accessibleFromMenu 2 ComputerMenu) ComputerInput.kif 853-853

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


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


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