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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerMenuItem
ComputerMenuItem

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


(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172
(documentation ComputerMenuItem EnglishLanguage "A ComputerMenuItem is a UIElement that presents one of the user's options and informs the running program if the user selects that option. A ComputerMenuItem may act as either a GUIRadioButton or a GUICheckBox. In many instances a menu item acts as a radio button on a normal click and as a check box on a shift-click.") ComputerInput.kif 1157-1160
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1161-1161
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1156-1156

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


(havePartTypes ComputerMenu ComputerMenuItem) ComputerInput.kif 1162-1162
(subclass GraphicalMenuItem ComputerMenuItem) ComputerInput.kif 1170-1170

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


(domain accessibleFromMenuItem 2 ComputerMenuItem) ComputerInput.kif 1166-1166

antecedent
-------------------------


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT ComputerMenuItem))
    (instance ?SELECT SelectingComputerMenuOption))
ComputerInput.kif 2275-2280


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