|
|
   UserDirectAction
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1236-1236 | UserDirectAction 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1210-1215 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1208-1208 | UserDirectAction 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1207-1207 | UserDirectAction 是 UserAction 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1667-1667 | AudioInput 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4038-4038 | ChangingAccountInfo 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3994-3994 | ChangingPassword 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4016-4016 | ChangingUserName 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1457-1457 | Clicking 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4057-4057 | CreatingAnAccount 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4236-4236 | DataEntry 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1648-1648 | JoystickMotion 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1251-1251 | KeyboardAction 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3879-3879 | LoggingIn 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3928-3928 | LoginFailure 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1679-1679 | ScrollWheelRotating 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1543-1543 | SlidingComputerInputDeviceAction 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3943-3943 | SupplyingEyeScan 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3942-3942 | SupplyingFingerprint 是 UserDirectAction 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1560-1560 | TouchSurfaceAction 是 UserDirectAction 的 subclass |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1732-1732 | udaCanSignify 的 1 数量 是 UserDirectAction 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1660-1665 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1641-1646 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1623-1628 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1572-1577 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1218-1223 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1238-1243 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1244-1249 |
|
|
|
|