Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InputCharacterString
InputCharacterString(input character string)

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


(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1885-1885 Input character string is a subclass of user signified action
(documentation InputCharacterString EnglishLanguage "A UserSignifiedAction providing a ComputerProgram with a character string input. This is often the intent of Typing.") ComputerInput.kif 1886-1887 Input character string is a subclass of user signified action

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


(udaCanSignify Typing InputCharacterString) ComputerInput.kif 1888-1888 Typing isgnifies input character string
(termFormat EnglishLanguage InputCharacterString "input character string") domainEnglishFormat.kif 65034-65034 Typing isgnifies input character string


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners