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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerMenu

Sigma KEE - ComputerMenu
ComputerMenucomputer_menu, drop-down_menu, menu

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


(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 915-915 The intersection of ComputerMenu and UIElement is GraphicalComputerMenu
(disjoint ComputerMenu ScrollBar) ComputerInput.kif 979-979 ComputerMenu is disjoint from ScrollBar
(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 876-878
(havePartTypes ComputerMenu ComputerMenuItem) ComputerInput.kif 1162-1162 ComputerMenu has parts of type ComputerMenuItem
(subclass ComputerMenu UIElement) ComputerInput.kif 875-875 ComputerMenu is a subclass of UIElement

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


(disjoint GUISliderIndicator ComputerMenu) ComputerInput.kif 1070-1070 GUISliderIndicator is disjoint from ComputerMenu
(disjoint ScrollBarArrowButton ComputerMenu) ComputerInput.kif 1016-1016 ScrollBarArrowButton is disjoint from ComputerMenu
(disjoint ScrollBarBar ComputerMenu) ComputerInput.kif 1005-1005 ScrollBarBar is disjoint from ComputerMenu
(disjoint TextBox ComputerMenu) ComputerInput.kif 1132-1132 TextBox is disjoint from ComputerMenu
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1161-1161 Every ComputerMenuItem is a part of a ComputerMenu
(subclass GraphicalComputerMenu ComputerMenu) ComputerInput.kif 913-913 GraphicalComputerMenu is a subclass of ComputerMenu
(subclass TextualComputerMenu ComputerMenu) ComputerInput.kif 886-886 TextualComputerMenu is a subclass of ComputerMenu

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


(domain accessibleFromMenu 2 ComputerMenu) ComputerInput.kif 882-882 The number 2 argument of accessibleFromMenu is an instance of ComputerMenu

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners