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 875-876
(domain screenOfGUIE 1 GUIElement) ComputerInput.kif 873-873 Le nombre 1 argument de screenOfGUIE est une instance de GUIElement
(domain screenOfGUIE 2 ComputerScreen) ComputerInput.kif 874-874 Le nombre 2 argument de screenOfGUIE est une instance de ComputerScreen
(instance screenOfGUIE BinaryPredicate) ComputerInput.kif 872-872 screenOfGUIE est une instance de pr�dicat binaire

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


(format ChineseLanguage screenOfGUIE "%1 是 displayed 在 %2 ") domainEnglishFormat.kif 4466-4466
(format ChineseTraditionalLanguage screenOfGUIE "%1 是 displayed 在 %2 ") domainEnglishFormat.kif 4465-4465
(format EnglishLanguage screenOfGUIE "%1 is displayed on %2") domainEnglishFormat.kif 4464-4464
(termFormat EnglishLanguage screenOfGUIE "screen of GUIE") domainEnglishFormat.kif 65990-65990

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 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 3.0 is open source software produced by Articulate Software and its partners