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 | guiElementCovered の数値 1 引数は CoveringGUIElement の instance では %n |
(domain guiElementCovered 2 GUIElement) | ComputerInput.kif 2516-2516 | guiElementCovered の数値 2 引数は GUIElement の instance では %n |
(instance guiElementCovered BinaryPredicate) | ComputerInput.kif 2514-2514 | guiElementCovered は 2進述語 の instance では %n |
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 |
|