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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - guiElementPartiallyCovered
guiElementPartiallyCovered

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


(documentation guiElementPartiallyCovered EnglishLanguage "(guiElementPartiallyCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become partially covered by the action ?COVERING. It is still logically positioned at the same place on the screen.") ComputerInput.kif 2572-2574
(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) ComputerInput.kif 2570-2570 The number 1 argument of guiElementPartiallyCovered is an instance of PartiallyCoveringGraphicalWindow
(domain guiElementPartiallyCovered 2 GUIElement) ComputerInput.kif 2571-2571 The number 2 argument of guiElementPartiallyCovered is an instance of GUIElement
(instance guiElementPartiallyCovered BinaryPredicate) ComputerInput.kif 2569-2569 guiElementPartiallyCovered is an instance of binary predicate

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


(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ") domainEnglishFormat.kif 3579-3579
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ") domainEnglishFormat.kif 3578-3578
(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2") domainEnglishFormat.kif 3577-3577

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


(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))
ComputerInput.kif 2588-2591
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2596-2602

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


(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))
ComputerInput.kif 2578-2583


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners