No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | SelectingActiveArea 是 UserSignifiedAction 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2231-2231 | RequestingHyperlink 是 SelectingActiveArea 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2242-2242 | SelectingComputerMenuOption 是 SelectingActiveArea 的 subclass |