No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1692-1692 |
不相交的 Typing and AudioInput |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1694-1694 |
不相交的 Typing and JoystickMotion |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1693-1693 |
不相交的 Typing and 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 and KeyboardAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1872-1872 |
Typing isgnifies InputCharacterString |