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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TouchSurfaceAction
TouchSurfaceAction(touch surface action)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1535-1536
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1534-1534 Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1533-1533 Touch surface action is a subclass of user direct action

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1655-1655 Audio input is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1635-1635 Joystick motion is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1667-1667 Scroll wheel rotating is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1693-1693 Typing is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1577-1577 Screen touch action is a subclass of touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1615-1615 Touch pad action is a subclass of touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1563-1563 Touch surface double finger slide is a subclass of touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1552-1552 Touch surface slide is a subclass of touch surface action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1557-1557 Touch surface tap is a subclass of touch surface action
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65612-65612

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1538-1543

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1545-1550


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