GUISlider
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | GUI slider is disjoint from computer touchscreen keyboard |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | GUI slider is disjoint from computer touchscreen keypad |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | GUI slider is disjoint from scroll bar |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1025-1027 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1041-1041 | Every GUI slider is a part of a GUI slider indicator |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1024-1024 | GUI slider is a subclass of GUI active area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64921-64921 |