No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1360-1360 |
Les valeurs retourn�es par PressingKeyFn sont des sous-classes de SingleKeyPress |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1364-1364 |
CharacterKeyPress est une sous-classe de SingleKeyPress |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1384-1384 |
SpecialCharacterPress est une sous-classe de SingleKeyPress |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65495-65495 |
|