guiElementPartiallyCovered |
appearance as argument number 1 |
(documentation guiElementPartiallyCovered EnglishLanguage "(guiElementPartiallyCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become partially covered by the action ?COVERING. It is still logically positioned at the same place on the screen.") | ComputerInput.kif 2558-2560 | |
(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) | ComputerInput.kif 2556-2556 | Die Zahl 1 Argument von guiElementPartiallyCovered ist ein fall von PartiallyCoveringGraphicalWindow %n{nicht} |
(domain guiElementPartiallyCovered 2 GUIElement) | ComputerInput.kif 2557-2557 | Die Zahl 2 Argument von guiElementPartiallyCovered ist ein fall von GUIElement %n{nicht} |
(instance guiElementPartiallyCovered BinaryPredicate) | ComputerInput.kif 2555-2555 | guiElementPartiallyCovered ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ") | domainEnglishFormat.kif 3578-3578 | |
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ") | domainEnglishFormat.kif 3577-3577 | |
(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2") | domainEnglishFormat.kif 3576-3576 | |
(termFormat EnglishLanguage guiElementPartiallyCovered "GUI element partially covered") | domainEnglishFormat.kif 65843-65843 |
antecedent |
consequent |
(=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2564-2569 |
|