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 2622-2624
(domain guiElementUncovered 1 UncoveringGraphicalWindow) ComputerInput.kif 2620-2620 The number 1 argument of guiElementUncovered is an instance of UncoveringGraphicalWindow
(domain guiElementUncovered 2 GUIElement) ComputerInput.kif 2621-2621 The number 2 argument of guiElementUncovered is an instance of GUIElement
(instance guiElementUncovered BinaryPredicate) ComputerInput.kif 2619-2619 guiElementUncovered is an instance of binary predicate

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


(format ChineseLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3591-3591
(format ChineseTraditionalLanguage guiElementUncovered "%1 uncovers %2 ") domainEnglishFormat.kif 3590-3590
(format EnglishLanguage guiElementUncovered "%1 uncovers %2") domainEnglishFormat.kif 3589-3589

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


(=>
    (guiElementUncovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_UncoveredState)))
ComputerInput.kif 2637-2640
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2645-2651

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


(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2420-2427
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2413-2418
(=>
    (instance ?UNCOVERING UncoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementUncovered ?UNCOVERING ?GUIE))))
ComputerInput.kif 2627-2632


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