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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TextCursor
TextCursor(text cursor)

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


(documentation TextCursor EnglishLanguage "A TextCursor is a Cursor that locates an active area for inserting or deleting text and is more limited in its movement than a MouseCursor. Both a mouse cursor and a text cursor may be visible at the same time.") ComputerInput.kif 1055-1057
(subclass TextCursor Cursor) ComputerInput.kif 1054-1054 Text cursor is a subclass of cursor

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


(disjoint MouseCursor TextCursor) ComputerInput.kif 1063-1063 Mouse cursor is disjoint from text cursor
(termFormat EnglishLanguage TextCursor "text cursor") domainEnglishFormat.kif 65593-65593


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