No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 202-202 |
不相交的 RightCIButton and LeftCIButton |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 218-218 |
不相交的 RightCIButton and MiddleCIButton |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 216-217 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 192-195 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 191-191 |
子類 RightCIButton and ComputerInputButton |