|
|
   GUISlider
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | 不相交的 GUISlider and ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | 不相交的 GUISlider and ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | 不相交的 GUISlider and ScrollBar |
| 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 | 每個 GUISlider 是 GUISliderIndicator 的 part |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1024-1024 | 子類 GUISlider and GUIActiveArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64921-64921 |
|
|
|