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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TrueRibBone

 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 PressingKeyFn 的 1 数量 是 ComputerKeyboardKey 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1358-1358 PressingKeyFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1360-1360 PressingKeyFn 的所得值 是 SingleKeyPress 的 subclass

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 Pressing ArrowKey 鍵 isgnifies MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1808-1808 Pressing ArrowKey 鍵 isgnifies WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 Pressing DownArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2302-2302 Pressing DownArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1836-1836 Pressing EnterKey 鍵 isgnifies SubmitAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 Pressing LeftArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2311-2311 Pressing LeftArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 Pressing RightArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2301-2301 Pressing RightArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2300-2300 Pressing TabKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 Pressing UpArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2312-2312 Pressing UpArrowKey 鍵 isgnifies SelectingActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2309-2310 结合 pressing TabKey 鍵 和 ShiftKeyHoldDown isgnifies 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