| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 885-885 | Graphical computer menu is a subclass of computer menu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 886-886 | Graphical computer menu is a subclass of GUI active area |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 887-887 | Graphical computer menu is a subclass of UI element |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 897-897 | List box is a subclass of graphical computer menu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 901-901 | Drop down list is a subclass of graphical computer menu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 907-907 | Combo list text box is a subclass of graphical computer menu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 913-913 | Graphical sub menu is a subclass of graphical computer menu |
|
|