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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PressingKeyFn

 Sigma KEE - PressingKeyFn
PressingKeyFn

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1361-1362
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1359-1359 O argumento numero 1 de PressingKeyFn e' uma sub-classe de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1358-1358 PressingKeyFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1360-1360 Os valores retornados por PressingKeyFn sao as sub-classes de SingleKeyPress

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4202-4202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4201-4201
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4200-4200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65354-65354

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
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 udaCanSignify PressingKeyFn DownArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 udaCanSignify PressingKeyFn DownArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 udaCanSignify PressingKeyFn EnterKey and SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 udaCanSignify PressingKeyFn LeftArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 udaCanSignify PressingKeyFn LeftArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 udaCanSignify PressingKeyFn RightArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 udaCanSignify PressingKeyFn RightArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 udaCanSignify PressingKeyFn TabKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 udaCanSignify PressingKeyFn UpArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 udaCanSignify PressingKeyFn UpArrowKey and SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 udaCanSignify a uniao de PressingKeyFn TabKey e ShiftKeyHoldDown and SelectingActiveArea


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