InterfaceWindow
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1076-1081 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1075-1075 | 子類 InterfaceWindow and GUIElement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1082-1082 | 不相交的 Cursor and InterfaceWindow |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1084-1084 | 子類 PopupWindow and InterfaceWindow |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65036-65036 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2120-2131 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2347-2354 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1935-1948 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2469-2478 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2451-2460 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2389-2398 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2423-2430 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2416-2421 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2486-2495 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1920-1929 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1896-1904 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1964-1972 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2361-2365 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2051-2053 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2065-2067 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1776-1781 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2373-2380 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1797-1803 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2407-2412 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2011-2015 | ~{ GUIElement 有 state GUE_NonVisibleState } ~{ GUIElement 有 state GUE_ActiveState } ~{ 例 GUIElement and InterfaceWindow } |