No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | SelectingActiveArea est une sous-classe de UserSignifiedAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2231-2231 | RequestingHyperlink est une sous-classe de SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2242-2242 | SelectingComputerMenuOption est une sous-classe de SelectingActiveArea |