No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2262-2262 | ActivatingUIElement 是 UserSignifiedAction 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2279-2279 | SelectingComputerSubmenu 是 ActivatingUIElement 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2290-2290 | JumpingToActivateUIElement 是 ActivatingUIElement 的 subclass |
![]() |