|
|
   SpecialCharacterPress
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1386-1391 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1384-1384 | SpecialCharacterPress 是 SingleKeyPress 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | CharacterKeyPress 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1409-1409 | EnterKeyPress 是 SpecialCharacterPress 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65525-65525 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1402-1407 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1395-1400 |
|
|
|
|