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 classIntersection ComputerMenuItem, GUIActiveArea and GraphicalMenuItem
(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 partTypes ComputerMenuItem and ComputerMenu
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1156-1156 subclass ComputerMenuItem and GUIActiveArea

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


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

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


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

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


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


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