No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 202-202 |
RightCIButton 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 218-218 |
RightCIButton 和 % 2 是 disjoint |
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 是 ComputerInputButton 的 subclass |