| 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 | |
| (subclass GUIElement UIElement) | ComputerInput.kif 865-865 |
| appearance as argument number 2 |
|
|
| (disjoint TextualComputerMenu GUIElement) | ComputerInput.kif 869-869 | |
| (subclass BannerNotification GUIElement) | ComputingBrands.kif 2180-2180 | |
| (subclass Cursor GUIElement) | ComputerInput.kif 1046-1046 | |
| (subclass GUIActiveArea GUIElement) | ComputerInput.kif 878-878 | |
| (subclass GUIDock GUIElement) | ComputingBrands.kif 2532-2532 | |
| (subclass InterfaceWindow GUIElement) | ComputerInput.kif 1075-1075 | |
| (subclass TextBox GUIElement) | ComputerInput.kif 1101-1101 | |
| (termFormat EnglishLanguage GUIElement "GUI element") | ComputerInput.kif 870-870 |
| appearance as argument number 3 |
|
|
| (domain guiElementCovered 2 GUIElement) | ComputerInput.kif 2516-2516 | |
| (domain guiElementCoveredBy 1 GUIElement) | ComputerInput.kif 2541-2541 | |
| (domain guiElementCoveredBy 2 GUIElement) | ComputerInput.kif 2542-2542 | |
| (domain guiElementPartiallyCovered 2 GUIElement) | ComputerInput.kif 2557-2557 | |
| (domain guiElementPartiallyCoveredBy 1 GUIElement) | ComputerInput.kif 2592-2592 | |
| (domain guiElementPartiallyCoveredBy 2 GUIElement) | ComputerInput.kif 2593-2593 | |
| (domain guiElementUncovered 2 GUIElement) | ComputerInput.kif 2625-2625 | |
| (domain hasGUEState 1 GUIElement) | ComputerInput.kif 1883-1883 | |
| (domain screenOfGUIE 1 GUIElement) | ComputerInput.kif 873-873 |
| antecedent |
|
|
| (=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?ACT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (BeginFn ?ACT) (not (hasGUEState ?GUIE GUE_ActiveState))))) |
ComputerInput.kif 2268-2277 | |
| (=> (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 | |
| (=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))) |
ComputerInput.kif 2609-2617 | |
| (=> (and (instance ?GUIE1 GUIElement) (hasGUEState ?GUIE1 GUE_ActiveState) (properPart ?GUIE1 ?GUIE2) (instance ?GUIE2 GUIElement)) (hasGUEState ?GUIE2 GUE_ActiveState)) |
ComputerInput.kif 1909-1915 | |
| (=> (and (instance ?GUIE1 GUIElement) (instance ?GUIE2 GUIElement) (not (instance ?GUIE1 InterfaceWindow)) (not (instance ?GUIE2 InterfaceWindow)) (screenOfGUIE ?GUIE1 ?SCREEN) (screenOfGUIE ?GUIE2 ?SCREEN) (hasGUEState ?GUIE1 GUE_ActiveState) (hasGUEState ?GUIE2 GUE_ActiveState)) (or (properPart ?GUIE1 ?GUIE2) (properPart ?GUIE2 ?GUIE1) (equal ?GUIE1 ?GUIE2))) |
ComputerInput.kif 1935-1948 | |
| (=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_CoveredState)) (hasGUEState ?GUIE_SM GUE_CoveredState)) |
ComputerInput.kif 2082-2088 | |
| (=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_NonVisibleState)) (hasGUEState ?GUIE_SM GUE_NonVisibleState)) |
ComputerInput.kif 2001-2007 | |
| (=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_OffscreenState)) (hasGUEState ?GUIE_SM GUE_OffscreenState)) |
ComputerInput.kif 2029-2035 | |
| (=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_PassiveState)) (hasGUEState ?GUIE_SM GUE_PassiveState)) |
ComputerInput.kif 1977-1983 | |
| (=> (and (instance ?SELECT SelectingComputerSubmenu) (patient ?SELECT ?SUBMENU) (instance ?SUBMENU GUIElement)) (instance ?SUBMENU ComputerMenu)) |
ComputerInput.kif 2283-2288 | |
| (=> (and (instance ?WINDOW InterfaceWindow) (instance ?GUIE GUIElement) (screenOfGUIE ?WINDOW ?SCREEN) (screenOfGUIE ?GUIE ?SCREEN) (not (instance ?GUIE InterfaceWindow)) (hasGUEState ?WINDOW GUE_ActiveState) (hasGUEState ?GUIE GUE_ActiveState)) (properPart ?GUIE ?WINDOW)) |
ComputerInput.kif 1920-1929 | |
| (=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState))) |
ComputerInput.kif 2149-2155 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners