hasGUEState |
appearance as argument number 1 |
(documentation hasGUEState EnglishLanguage "(hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE.") | ComputerInput.kif 1885-1886 | |
(domain hasGUEState 1 GUIElement) | ComputerInput.kif 1883-1883 | The number 1 argument of has GUE state is an instance of GUI element |
(domain hasGUEState 2 GUElementState) | ComputerInput.kif 1884-1884 | The number 2 argument of has GUE state is an instance of GU element state |
(instance hasGUEState BinaryPredicate) | ComputerInput.kif 1881-1881 | has GUE state is an instance of binary predicate |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | has GUE state is a subrelation of attribute |
appearance as argument number 2 |
(format ChineseLanguage hasGUEState "%1 有 state %2 ") | domainEnglishFormat.kif 3610-3610 | |
(format ChineseTraditionalLanguage hasGUEState "%1 有 state %2 ") | domainEnglishFormat.kif 3609-3609 | |
(format EnglishLanguage hasGUEState "%1 has state %2") | domainEnglishFormat.kif 3608-3608 | |
(termFormat EnglishLanguage hasGUEState "has GUE state") | domainEnglishFormat.kif 65849-65849 |
antecedent |
consequent |
statement |
(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow))) |
ComputerInput.kif 2011-2015 | ~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window } |
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | ~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state } |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 | ~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active state } |