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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TouchSurfaceTap

 Sigma KEE - TouchSurfaceTap
TouchSurfaceTap

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1560-1561
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1558-1558 TouchSurfaceTap est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1559-1559 TouchSurfaceTap est une sous-classe de impacte
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1557-1557 TouchSurfaceTap est une sous-classe de TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1839-1839 udaCanSignify TouchSurfaceTap and SubmitAction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65615-65615


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