guiElementCovered |
appearance as argument number 1 |
(documentation guiElementCovered EnglishLanguage "(guiElementCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become completely covered by the action ?COVERING. It is still logically positioned at the same place on the screen.") | ComputerInput.kif 2517-2519 | |
(domain guiElementCovered 1 CoveringGUIElement) | ComputerInput.kif 2515-2515 | Il numero 1 argomenti di guiElementCovered è un istanza di CoveringGUIElement |
(domain guiElementCovered 2 GUIElement) | ComputerInput.kif 2516-2516 | Il numero 2 argomenti di guiElementCovered è un istanza di GUIElement |
(instance guiElementCovered BinaryPredicate) | ComputerInput.kif 2514-2514 | guiElementCovered è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage guiElementCovered "%1 covers %2 ") | domainEnglishFormat.kif 3570-3570 | |
(format ChineseTraditionalLanguage guiElementCovered "%%1 covers %2 ") | domainEnglishFormat.kif 3569-3569 | |
(format EnglishLanguage guiElementCovered "%1 covers %2") | domainEnglishFormat.kif 3568-3568 | |
(termFormat EnglishLanguage guiElementCovered "GUI element covered") | domainEnglishFormat.kif 65843-65843 |
antecedent |
(=> (guiElementCovered ?COVERING ?GUIE) (and (holdsDuring (BeginFn (WhenFn ?COVERING)) (or (hasGUEState ?GUIE GUE_PartiallyCoveredState) (hasGUEState ?GUIE GUE_UncoveredState))) (holdsDuring (EndFn (WhenFn ?COVERING)) (hasGUEState ?GUIE GUE_CoveredState)))) |
ComputerInput.kif 2529-2537 |
|
consequent |
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (patient ?COVERING ?GUIE) (guiElementCovered ?COVERING ?GUIE)))) |
ComputerInput.kif 2521-2527 |
|