GUIElement
|
|
appearance as argument number 1 |
(documentation GUIElement EnglishLanguage "A GUIElement is an image on a ComputerScreen that a user uses to interact with a GraphicalUserInterface. The type of interaction depends upon the type of element and type of screen.") | ComputerInput.kif 866-868 | |
(subclass GUIElement Image) | ComputerInput.kif 864-864 | 子類 GUIElement and Image |
(subclass GUIElement UIElement) | ComputerInput.kif 865-865 | 子類 GUIElement and UIElement |
appearance as argument number 2 |
(disjoint TextualComputerMenu GUIElement) | ComputerInput.kif 869-869 | 不相交的 TextualComputerMenu and GUIElement |
(subclass BannerNotification GUIElement) | ComputingBrands.kif 2180-2180 | 子類 狀態列 and GUIElement |
(subclass Cursor GUIElement) | ComputerInput.kif 1046-1046 | 子類 Cursor and GUIElement |
(subclass GUIActiveArea GUIElement) | ComputerInput.kif 878-878 | 子類 GUIActiveArea and GUIElement |
(subclass GUIDock GUIElement) | ComputingBrands.kif 2532-2532 | 子類 插槽 and GUIElement |
(subclass InterfaceWindow GUIElement) | ComputerInput.kif 1075-1075 | 子類 InterfaceWindow and GUIElement |
(subclass TextBox GUIElement) | ComputerInput.kif 1101-1101 | 子類 TextBox and GUIElement |
(termFormat EnglishLanguage GUIElement "GUI element") | ComputerInput.kif 870-870 |
appearance as argument number 3 |
antecedent |
consequent |
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (patient ?COVERING ?GUIE) (guiElementCovered ?COVERING ?GUIE)))) |
ComputerInput.kif 2521-2527 | |
(=> (instance ?COVERING CoveringGUIElement) (exists (?GUIE1 ?GUIE2) (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (agent ?COVERING ?GUIE1) (patient ?COVERING ?GUIE2) (not (equal ?GUIE1 ?GUIE2))))) |
ComputerInput.kif 2504-2512 |
|
(=> (instance ?UNCOVERING PartiallyCoveringGraphicalWindow) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementPartiallyCovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2564-2569 | |
(=> (instance ?UNCOVERING UncoveringGUIElement) (exists (?GUIE) (and (instance ?GUIE GUIElement) (guiElementUncovered ?UNCOVERING ?GUIE)))) |
ComputerInput.kif 2631-2636 |