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 1438-1439
(subclass EnterKeyPress SpecialCharacterPress) ComputerInput.kif 1436-1436 EnterKeyPress is a subclass of SpecialCharacterPress
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1869-1869 EnterKeyPress isgnifies SubmitAction


        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))
ComputerInput.kif 1448-1453
    (instance ?ACT EnterKeyPress)
    (exists (?KEY)
            (instance ?KEY EnterKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1441-1446

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