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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DownArrowKey
DownArrowKey(down arrow key)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 316-316 Down arrow key is disjoint from left arrow key
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 315-315 Down arrow key is disjoint from right arrow key
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 313-314 Down arrow key is disjoint from right arrow key
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 312-312 Down arrow key is a subclass of arrow key

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 317-317 Up arrow key is disjoint from down arrow key
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64828-64828 Up arrow key is disjoint from down arrow key

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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