GUISlider
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | GUISlider est disjoint de ComputerTouchscreenKeyboard |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | GUISlider est disjoint de ComputerTouchscreenKeypad |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | GUISlider est disjoint de 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 | partTypes GUISlider and GUISliderIndicator |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1024-1024 | GUISlider est une sous-classe de GUIActiveArea |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64923-64923 |