hasGUEState |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1885-1886 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1883-1883 | 域 hasGUEState, 1 and GUIElement |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1884-1884 | 域 hasGUEState, 2 and GUElementState |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1881-1881 | 例 hasGUEState and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1882-1882 | 子關係 hasGUEState and attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3610-3610 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3609-3609 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3608-3608 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65847-65847 |
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 2104-2108 | |
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 1909-1915 | |
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 2082-2088 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2001-2007 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2029-2035 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1977-1983 |
|
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 |
|
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 2096-2100 |
consequent |
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 2104-2108 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2268-2277 |
|
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 1909-1915 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2082-2088 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2001-2007 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2029-2035 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1977-1983 |
|
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 2203-2210 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2215-2222 |
|
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 1964-1972 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2529-2537 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2547-2549 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2574-2577 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2582-2588 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2641-2644 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2649-2655 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2096-2100 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1990-1992 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
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 } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2226-2229 | ~{ 例 GUIElement and Cursor } ~{ GUIElement 有 state GUE_SelectedState } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1952-1955 | ~{ 例 GUIElement and MouseCursor } ~{ GUIElement 有 state GUE_ActiveState } |