No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 335-335 |
MultiKeypressKey est disjoint de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 325-325 |
NumberedFunctionKey est disjoint de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 312-312 |
DownArrowKey est une sous-classe de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 301-301 |
LeftArrowKey est une sous-classe de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 297-297 |
RightArrowKey est une sous-classe de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 306-306 |
UpArrowKey est une sous-classe de ArrowKey |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64476-64476 |
|