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

Formal Language: 



KB Term:  Term intersection
English Word: 

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