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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bromine

 Sigma KEE - Clicking
Clicking

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1432-1434
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1430-1430 Clicking est une sous-classe de UserDirectAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1742-1742 udaCanSignify Clicking and MovingCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2173-2173 udaCanSignify Clicking and SelectingActiveArea

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1436-1436 DoubleClicking est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1469-1469 LeftClicking est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1482-1482 MiddleClicking est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1504-1504 MouseButtonHoldDown est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1453-1453 RightClicking est une sous-classe de Clicking
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1493-1493 ShiftClicking est une sous-classe de Clicking
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. domainEnglishFormat.kif 64648-64648

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1442-1451


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