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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KeyHoldDown

 Sigma KEE - KeyHoldDown
KeyHoldDown

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1256-1263
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1254-1254 KeyHoldDown e' uma sub-classe de KeyboardAction

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1356-1356 SingleKeyPress e' disjunto de KeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1306-1306 AltKeyHoldDown e' uma sub-classe de KeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1285-1285 ControlKeyHoldDown e' uma sub-classe de KeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1329-1329 FunctionKeyHoldDown e' uma sub-classe de KeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1265-1265 ShiftKeyHoldDown e' uma sub-classe de KeyHoldDown
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1255-1255


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