No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1656-1656 |
不相交的 AudioInput and JoystickMotion |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1657-1657 |
不相交的 AudioInput and KeyboardAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1655-1655 |
不相交的 AudioInput and TouchSurfaceAction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1653-1654 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1652-1652 |
子類 AudioInput and UserDirectAction |