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 The number 1 argument of pressing key fn is a subclass of computer keyboard key
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1358-1358 Pressing key fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1360-1360 The values returned by pressing key fn are subclasses of single key press

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 65366-65366

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 Pressing the arrow key key isgnifies window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 Pressing the down arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 Pressing the enter key key isgnifies submit action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 Pressing the left arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 Pressing the right arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 Pressing the tab key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 Pressing the up arrow key key isgnifies selecting active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 The union of pressing the tab key key and shift key hold down isgnifies selecting active area


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