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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphicalMenuItem
GraphicalMenuItem

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


(documentation GraphicalMenuItem EnglishLanguage "A GraphicalMenuItem is a GUIActiveArea that is also a ComputerMenuItem. It presents one of the user's options and informs the running program if the user selects that option.") ComputerInput.kif 1173-1175
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1177-1177
(subclass GraphicalMenuItem ComputerMenuItem) ComputerInput.kif 1170-1170
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1171-1171

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


(havePartTypes GraphicalComputerMenu GraphicalMenuItem) ComputerInput.kif 1178-1178

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


(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172

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


(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENUITEM)
        (and
            (instance ?MENU GraphicalMenuItem)
            (accessibleFromMenuItem ?SUB ?MENUITEM))))
ComputerInput.kif 1181-1186


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