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 | Die Zahl 1 Argument von hasGUEState ist ein fall von GUIElement %n{nicht} |
(domain hasGUEState 2 GUElementState) | ComputerInput.kif 1884-1884 | Die Zahl 2 Argument von hasGUEState ist ein fall von GUElementState %n{nicht} |
(instance hasGUEState BinaryPredicate) | ComputerInput.kif 1881-1881 | hasGUEState ist ein fall von BinaryPredicate %n{nicht} |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | hasGUEState ist eine teilrelation von attribut |
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 65847-65847 |
antecedent |
consequent |
statement |
(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow))) |
ComputerInput.kif 2011-2015 | ~{ hasGUEState GUIElement and GUE_NonVisibleState } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } oder ~{ ** GUIElement ist ein fall von InterfaceWindow %n{nicht} } |
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | ~{ GUIElement ist ein fall von Cursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_SelectedState } |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 | ~{ GUIElement ist ein fall von MouseCursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } |