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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TextualComputerMenu

appearance as argument number 1

(disjoint TextualComputerMenu GUIElement) ComputerInput.kif 898-898 TextualComputerMenu is disjoint from GUIElement
(documentation TextualComputerMenu EnglishLanguage "A TextualComputerMenu is a ComputerMenu that textually describes a user's options and permits the user to select one of the options by typing the appropriate thing into the computer.") ComputerInput.kif 887-889
(subclass TextualComputerMenu ComputerMenu) ComputerInput.kif 886-886 TextualComputerMenu is a subclass of ComputerMenu

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