| appearance as argument number 1 |
|
| (documentation screenOfGUIE EnglishLanguage "(screenOfGUIE ?GUIE ?SCREEN) means that the GUIElement, ?GUIE, is displayed on, or at least logically assigned to be displayed on the ComputerScreen, ?SCREEN.") | ComputerInput.kif 875-876 | |
| (domain screenOfGUIE 1 GUIElement) | ComputerInput.kif 873-873 | |
| (domain screenOfGUIE 2 ComputerScreen) | ComputerInput.kif 874-874 | |
| (instance screenOfGUIE BinaryPredicate) | ComputerInput.kif 872-872 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage screenOfGUIE "%1 是 displayed 在 %2 ") | domainEnglishFormat.kif 4470-4470 | |
| (format ChineseTraditionalLanguage screenOfGUIE "%1 是 displayed 在 %2 ") | domainEnglishFormat.kif 4469-4469 | |
| (format EnglishLanguage screenOfGUIE "%1 is displayed on %2") | domainEnglishFormat.kif 4468-4468 | |
| (termFormat EnglishLanguage screenOfGUIE "screen of GUIE") | domainEnglishFormat.kif 65987-65987 |
| antecedent |
|
|
| (=> (and (hasGUEState ?WIN1 GUE_UncoveredState) (hasGUEState ?WIN1 GUE_MaximizedWindowState) (screenOfGUIE ?WIN1 ?SCREEN) (instance ?WIN2 InterfaceWindow) (screenOfGUIE ?WIN2 ?SCREEN) (not (equal ?WIN1 ?WIN2))) (or (hasGUEState ?WIN2 GUE_CoveredState) (hasGUEState ?WIN2 GUE_PartiallyCoveredState) (hasGUEState ?WIN2 GUE_OffscreenState))) |
ComputerInput.kif 2120-2131 | |
| (=> (and (instance ?CURSOR1 MouseCursor) (instance ?CURSOR2 MouseCursor) (screenOfGUIE ?CURSOR1 ?SCREEN) (screenOfGUIE ?CURSOR2 ?SCREEN)) (equal ?CURSOR1 ?CURSOR2)) |
ComputerInput.kif 1067-1073 | |
| (=> (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 ?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 | |
| (=> (and (instance ?WINDOW1 InterfaceWindow) (instance ?WINDOW2 InterfaceWindow) (screenOfGUIE ?WINDOW1 ?SCREEN) (screenOfGUIE ?WINDOW2 ?SCREEN) (hasGUEState ?WINDOW1 GUE_ActiveState) (hasGUEState ?WINDOW1 GUE_ActiveState)) (equal ?WINDOW1 ?WINDOW2)) |
ComputerInput.kif 1896-1904 | |
| (=> (and (instance ?WINDOW_A InterfaceWindow) (instance ?WINDOW_P InterfaceWindow) (screenOfGUIE ?WINDOW_A ?SCREEN) (screenOfGUIE ?WINDOW_P ?SCREEN) (hasGUEState ?WINDOW_A GUE_ActiveState) (not (equal ?WINDOW_A ?WINDOW_P))) (hasGUEState ?WINDOW_P GUE_PassiveState)) |
ComputerInput.kif 1964-1972 |
|
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