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 Le nombre 1 argument de PressingKeyFn est une sous-classe de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1358-1358 PressingKeyFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1360-1360 Les valeurs retourn�es par PressingKeyFn sont des sous-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 l' intersection de VerticalWindowScrolling et 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 l' intersection de HorizontalWindowScrolling et 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 l' intersection de HorizontalWindowScrolling et 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 l' intersection de VerticalWindowScrolling et 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 l' union de PressingKeyFn TabKey et 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