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


KB Term:  Term intersection
English Word: 

  UnmaximizingGraphicalWindow

 Sigma KEE - EnterKey
EnterKey(enter key)return, return_key

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


(subclass EnterKey SpecialComputerKeyboardKey) ComputerInput.kif 303-303 Enter key is a subclass of special computer keyboard key
(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 304-306 Enter key is a subclass of special computer keyboard key

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 311-311 Arrow key is disjoint from enter key
(disjoint NumberedFunctionKey EnterKey) ComputerInput.kif 340-340 Numbered function key is disjoint from enter key
(disjoint MultiKeypressKey EnterKey) ComputerInput.kif 350-350 Multi keypress key is disjoint from enter key
(termFormat EnglishLanguage EnterKey "enter key") domainEnglishFormat.kif 64828-64828 Multi keypress key is disjoint from enter key

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


(=>
    (instance ?ACT EnterKeyPress)
    (exists (?KEY)
        (and
            (instance ?KEY EnterKey)
            (patient ?ACT ?KEY))))		 ComputerInput.kif 1430-1435 If X is an instance of enter key press, then there exists Y such that Y is an instance of enter key and Y is a patient of X
(=>
    (and
        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))		 ComputerInput.kif 1437-1442 If X is an instance of enter key press, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of enter key

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


(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1852-1852 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners