No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | Selecting active area is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2231-2231 | Requesting hyperlink is a subclass of selecting active area |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2242-2242 | Selecting computer menu option is a subclass of selecting active area |