|
|
   ScrollBarBar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 977-977 | Scroll bar bar is disjoint from computer menu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 979-979 | Scroll bar bar is disjoint from computer touchscreen keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 978-978 | Scroll bar bar is disjoint from computer touchscreen keypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 976-976 | Scroll bar bar is disjoint from scroll bar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 972-974 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 975-975 | Every scroll bar bar is a part of a scroll bar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 971-971 | Scroll bar bar is a subclass of GUI active area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1044-1044 | GUI slider indicator is disjoint from scroll bar bar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 987-987 | Scroll bar arrow button is disjoint from scroll bar bar |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65455-65455 |
|
|
|