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 | Il numero 1 argomenti di hasGUEState è un istanza di GUIElement |
(domain hasGUEState 2 GUElementState) | ComputerInput.kif 1884-1884 | Il numero 2 argomenti di hasGUEState è un istanza di GUElementState |
(instance hasGUEState BinaryPredicate) | ComputerInput.kif 1881-1881 | hasGUEState è un' istanza di PredicatoBinario |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | hasGUEState è una sottorelazione di 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 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 } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement è un' istanza di InterfaceWindow } |
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | ~{ GUIElement è un' istanza di Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState } |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 | ~{ GUIElement è un' istanza di MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState } |