No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 317-317 |
UpArrowKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 309-309 |
UpArrowKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 310-310 |
UpArrowKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 307-308 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 306-306 |
UpArrowKey 是 ArrowKey 的 subclass |