No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 864-864 | GUI element is a subclass of image |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 865-865 | GUI element is a subclass of UI element |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2180-2180 | Banner is a subclass of GUI element |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2532-2532 | Dock is a subclass of GUI element |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 878-878 | GUI active area is a subclass of GUI element |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1046-1046 | Cursor is a subclass of GUI element |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1075-1075 | Interface window is a subclass of GUI element |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1101-1101 | Text box is a subclass of GUI element |