Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  screenOfGUIE

Sigma KEE - screenOfGUIE
screenOfGUIE

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 903-904
(domain screenOfGUIE 1 GUIElement) ComputerInput.kif 901-901 The number 1 argument of screenOfGUIE is an instance of GUIElement
(domain screenOfGUIE 2 ComputerScreen) ComputerInput.kif 902-902 The number 2 argument of screenOfGUIE is an instance of ComputerScreen
(instance screenOfGUIE BinaryPredicate) ComputerInput.kif 900-900 screenOfGUIE is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage screenOfGUIE "%1 是 displayed 在 %2 ") domainEnglishFormat.kif 4471-4471
(format ChineseTraditionalLanguage screenOfGUIE "%1 是 displayed 在 %2 ") domainEnglishFormat.kif 4470-4470
(format EnglishLanguage screenOfGUIE "%1 is displayed on %2") domainEnglishFormat.kif 4469-4469

antecedent
-------------------------


(=>
    (and
        (hasGUEState ?WIN1 GUE_UncoveredState)
        (hasGUEState ?WIN1 GUE_MaximizedState)
        (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 2135-2146
(=>
    (and
        (instance ?CURSOR1 MouseCursor)
        (instance ?CURSOR2 MouseCursor)
        (screenOfGUIE ?CURSOR1 ?SCREEN)
        (screenOfGUIE ?CURSOR2 ?SCREEN))
    (equal ?CURSOR1 ?CURSOR2))
ComputerInput.kif 1095-1101
(=>
    (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 1950-1963
(=>
    (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 1935-1944
(=>
    (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 1911-1919
(=>
    (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 1979-1987


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners