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 是 Image 的 subclass |
(subclass GUIElement UIElement) | ComputerInput.kif 865-865 | GUIElement 是 UIElement 的 subclass |
appearance as argument number 2 |
(disjoint TextualComputerMenu GUIElement) | ComputerInput.kif 869-869 | TextualComputerMenu 和 % 2 是 disjoint |
(subclass BannerNotification GUIElement) | ComputingBrands.kif 2180-2180 | 狀態列 是 GUIElement 的 subclass |
(subclass Cursor GUIElement) | ComputerInput.kif 1046-1046 | Cursor 是 GUIElement 的 subclass |
(subclass GUIActiveArea GUIElement) | ComputerInput.kif 878-878 | GUIActiveArea 是 GUIElement 的 subclass |
(subclass GUIDock GUIElement) | ComputingBrands.kif 2532-2532 | 插槽 是 GUIElement 的 subclass |
(subclass InterfaceWindow GUIElement) | ComputerInput.kif 1075-1075 | InterfaceWindow 是 GUIElement 的 subclass |
(subclass TextBox GUIElement) | ComputerInput.kif 1101-1101 | TextBox 是 GUIElement 的 subclass |
(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 |