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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnterKey
EnterKeyreturn, return_key

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


(documentation EnterKey EnglishLanguage "An EnterKey is a type of ComputerKeyboardKey on a ComputerKeyboard often labeled Enter or Return which sends a ^L (newline) and/ or ^M (return) to a computer to which it is attached.") ComputerInput.kif 310-312
(subclass EnterKey SpecialComputerKeyboardKey) ComputerInput.kif 309-309 EnterKey is a subclass of SpecialComputerKeyboardKey

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 317-317 ArrowKey is disjoint from EnterKey
(disjoint MultiKeypressKey EnterKey) ComputerInput.kif 356-356 MultiKeypressKey is disjoint from EnterKey
(disjoint NumberedFunctionKey EnterKey) ComputerInput.kif 346-346 NumberedFunctionKey is disjoint from EnterKey

consequent
-------------------------


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

statement
-------------------------


(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)
ComputerInput.kif 1851-1851 Pressing the EnterKey key isgnifies SubmitAction


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