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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of GUI element uncovered is an instance of uncovering graphical window
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2625-2625 The number 2 argument of GUI element uncovered is an instance of GUI element
(instance guiElementUncovered BinaryPredicate) ComputerInput.kif 2623-2623 GUI element uncovered is an instance of binary predicate

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 65847-65847

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 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