No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | 子類 SelectingActiveArea and UserSignifiedAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2231-2231 | 子類 RequestingHyperlink and SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2242-2242 | 子類 SelectingComputerMenuOption and SelectingActiveArea |