guiElementCoveredBy |
appearance as argument number 1 |
(documentation guiElementCoveredBy EnglishLanguage "(guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2.") | ComputerInput.kif 2543-2544 | |
(domain guiElementCoveredBy 1 GUIElement) | ComputerInput.kif 2541-2541 | 域 guiElementCoveredBy, 1 and GUIElement |
(domain guiElementCoveredBy 2 GUIElement) | ComputerInput.kif 2542-2542 | 域 guiElementCoveredBy, 2 and GUIElement |
(instance guiElementCoveredBy AsymmetricRelation) | ComputerInput.kif 2540-2540 | 例 guiElementCoveredBy and AsymmetricRelation |
(instance guiElementCoveredBy BinaryPredicate) | ComputerInput.kif 2539-2539 | 例 guiElementCoveredBy and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ") | domainEnglishFormat.kif 3574-3574 | |
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ") | domainEnglishFormat.kif 3573-3573 | |
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2") | domainEnglishFormat.kif 3572-3572 | |
(termFormat EnglishLanguage guiElementCoveredBy "GUI element covered by") | domainEnglishFormat.kif 65844-65844 |
antecedent |
(=> (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (hasGUEState ?GUIE_BOTTOM GUE_CoveredState)) |
ComputerInput.kif 2547-2549 |
consequent |
(=> (and (instance ?COVERING CoveringGUIElement) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (or (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))) |
ComputerInput.kif 2597-2607 |
|