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 | Le nombre 1 argument de guiElementCovered est une instance de CoveringGUIElement |
(domain guiElementCovered 2 GUIElement) | ComputerInput.kif 2516-2516 | Le nombre 2 argument de guiElementCovered est une instance de GUIElement |
(instance guiElementCovered BinaryPredicate) | ComputerInput.kif 2514-2514 | guiElementCovered est une instance de pr�dicat binaire |
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 65841-65841 |
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 |
|