No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 335-335 |
MultiKeypressKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 325-325 |
NumberedFunctionKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 312-312 |
DownArrowKey 是 ArrowKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 301-301 |
LeftArrowKey 是 ArrowKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 297-297 |
RightArrowKey 是 ArrowKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 306-306 |
UpArrowKey 是 ArrowKey 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64474-64474 |
|