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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EnterKeyPress

appearance as argument number 1

(documentation EnterKeyPress EnglishLanguage "A EnterKeyPress is a UserDirectAction of hitting the Enter key on a keyboard.") ComputerInput.kif 1411-1412
(subclass EnterKeyPress SpecialCharacterPress) ComputerInput.kif 1409-1409 EnterKeyPressSpecialCharacterPresssubclass
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1840-1840 EnterKeyPress isgnifies SubmitAction

appearance as argument number 2

(termFormat EnglishLanguage EnterKeyPress "enter key press") domainEnglishFormat.kif 64826-64826


        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))
ComputerInput.kif 1421-1426
    (instance ?ACT EnterKeyPress)
    (exists (?KEY)
            (instance ?KEY EnterKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1414-1419

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