No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 317-317 |
不相交的 UpArrowKey and DownArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 309-309 |
不相交的 UpArrowKey and LeftArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 310-310 |
不相交的 UpArrowKey and RightArrowKey |
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 and ArrowKey |