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

Formal Language: 



KB Term:  Term intersection
English Word: 

  guiElementUncovered

 Sigma KEE - guiElementUncovered
guiElementUncovered

appearance as argument number 1
-------------------------


(documentation guiElementUncovered EnglishLanguage "(guiElementUncovered ?UNCOVERING ?GUIE) means that the GUIElement ?GUIE has become completely uncovered by the action ?UNCOVERING. Its logical positioned on the screen does is not changed.") ComputerInput.kif 2626-2628
(domain guiElementUncovered 1 UncoveringGraphicalWindow) ComputerInput.kif 2624-2624 Le nombre 1 argument de guiElementUncovered est une instance de UncoveringGraphicalWindow
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2625-2625 Le nombre 2 argument de guiElementUncovered est une instance de GUIElement
(instance guiElementUncovered BinaryPredicate) ComputerInput.kif 2623-2623 guiElementUncovered est une instance de pr�dicat binaire

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


(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3586-3586
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3585-3585
(format EnglishLanguage guiElementUncovered "%1 uncovers %2") domainEnglishFormat.kif 3584-3584
(termFormat EnglishLanguage guiElementUncovered "GUI element uncovered") domainEnglishFormat.kif 65853-65853

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


(=>
    (guiElementUncovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_UncoveredState)))		 ComputerInput.kif 2641-2644
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2649-2655

consequent
-------------------------


(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2423-2430
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2416-2421
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?UNCOVERING ?GUIE))))		 ComputerInput.kif 2631-2636


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