No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 946-946 | Scroll bar is a subclass of GUI active area |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 958-958 | Horizontal scroll bar is a subclass of scroll bar |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 964-964 | Vertical scroll bar is a subclass of scroll bar |