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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnterKey

Sigma KEE - EnterKey
EnterKey(enter key)return, 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 288-290
(subclass EnterKey SpecialComputerKeyboardKey) ComputerInput.kif 287-287 Enter key is a subclass of special computer keyboard key

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 295-295 Arrow key is disjoint from enter key
(disjoint MultiKeypressKey EnterKey) ComputerInput.kif 334-334 Multi keypress key is disjoint from enter key
(disjoint NumberedFunctionKey EnterKey) ComputerInput.kif 324-324 Numbered function key is disjoint from enter key
(termFormat EnglishLanguage EnterKey "enter key") domainEnglishFormat.kif 64827-64827

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


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

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


(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)
ComputerInput.kif 1836-1836 Pressing the enter key key isgnifies submit action


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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