No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1042-1042 |
GUISliderIndicator 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1043-1043 |
GUISliderIndicator 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1044-1044 |
GUISliderIndicator 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1037-1040 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1036-1036 |
GUISliderIndicator 是 GUIActiveArea 的 subclass |