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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TextBox

appearance as argument number 1

(disjoint TextBox ComputerMenu) ComputerInput.kif 1132-1132 TextBox is disjoint from ComputerMenu
(disjoint TextBox GUIButton) ComputerInput.kif 1133-1133 TextBox is disjoint from GUIButton
(documentation TextBox EnglishLanguage "A TextBox is a (normally rectangular) GUIElement which displays and/ or accepts input of text.") ComputerInput.kif 1130-1131
(subclass TextBox GUIElement) ComputerInput.kif 1129-1129 TextBox is a subclass of GUIElement

appearance as argument number 2

(subclass TextInputBox TextBox) ComputerInput.kif 1136-1136 TextInputBox is a subclass of TextBox
(subclass TextOutputBox TextBox) ComputerInput.kif 1141-1141 TextOutputBox is a subclass of TextBox

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