No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1030-1030 |
GUISlider 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1029-1029 |
GUISlider 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1028-1028 |
GUISlider 和 % 2 是 disjoint |
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 是 GUIActiveArea 的 subclass |