No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 335-335 |
不相交的 MultiKeypressKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 325-325 |
不相交的 NumberedFunctionKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 312-312 |
子類 DownArrowKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 301-301 |
子類 LeftArrowKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 297-297 |
子類 RightArrowKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 306-306 |
子類 UpArrowKey and ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64474-64474 |
|