No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1692-1692 |
Typing e' disjunto de AudioInput |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1694-1694 |
Typing e' disjunto de JoystickMotion |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1693-1693 |
Typing e' disjunto 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 e' uma sub-classe de KeyboardAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1872-1872 |
udaCanSignify Typing and InputCharacterString |