No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | SelectingActiveArea e' uma sub-classe de UserSignifiedAction |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2231-2231 | RequestingHyperlink e' uma sub-classe de SelectingActiveArea |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2242-2242 | SelectingComputerMenuOption e' uma sub-classe de SelectingActiveArea |