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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelectingComputerMenuOption

Sigma KEE - SelectingComputerMenuOption
SelectingComputerMenuOption

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


(documentation SelectingComputerMenuOption EnglishLanguage "A UserSignifiedAction instructing a ComputerProgram to take whatever action is intended when the selected menu selection is chosen.") ComputerInput.kif 2243-2244
(subclass SelectingComputerMenuOption SelectingActiveArea) ComputerInput.kif 2242-2242

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


(termFormat EnglishLanguage SelectingComputerMenuOption "selecting computer menu option") domainEnglishFormat.kif 65471-65471

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


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


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 3.0 is open source software produced by Articulate Software and its partners