No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 951-951 |
不相交的 ComputerMenu and ScrollBar |
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 1043-1043 |
不相交的 GUISliderIndicator and ScrollBar |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 976-976 |
不相交的 ScrollBarBar and ScrollBar |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 986-986 |
每個 ScrollBarArrowButton 是 ScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 975-975 |
每個 ScrollBarBar 是 ScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 958-958 |
子類 HorizontalScrollBar and ScrollBar |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 964-964 |
子類 VerticalScrollBar and ScrollBar |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65453-65453 |
|