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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArrowKey

 Sigma KEE - ArrowKey
ArrowKey

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 295-295 ArrowKey e' disjunto de EnterKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 293-294
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 292-292 ArrowKey e' uma sub-classe de SpecialComputerKeyboardKey

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 335-335 MultiKeypressKey e' disjunto de ArrowKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 325-325 NumberedFunctionKey e' disjunto de ArrowKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 312-312 DownArrowKey e' uma sub-classe de ArrowKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 301-301 LeftArrowKey e' uma sub-classe de ArrowKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 297-297 RightArrowKey e' uma sub-classe de ArrowKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 306-306 UpArrowKey e' uma sub-classe de ArrowKey
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64474-64474

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1741-1741 udaCanSignify PressingKeyFn ArrowKey and MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 udaCanSignify PressingKeyFn ArrowKey and WindowScrollingByUser


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