No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 936-936 |
GUIButton 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 938-938 |
GUIButton 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 937-937 |
GUIButton 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 930-935 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 929-929 |
GUIButton 是 ComputerInputButton 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 928-928 |
GUIButton 是 GUIActiveArea 的 subclass |