No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1692-1692 |
Typing est disjoint de AudioInput |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1694-1694 |
Typing est disjoint de JoystickMotion |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1693-1693 |
Typing est disjoint de TouchSurfaceAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1689-1690 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1688-1688 |
Typing est une sous-classe de KeyboardAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1872-1872 |
udaCanSignify Typing and InputCharacterString |