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 | |
(domain hasGUEState 2 GUElementState) | ComputerInput.kif 1884-1884 | |
(instance hasGUEState BinaryPredicate) | ComputerInput.kif 1881-1881 | |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 |
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 | |
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 |