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

Formal Language: 



KB Term:  Term intersection
English Word: 

  guiElementPartiallyCovered

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 2558-2560
(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow) ComputerInput.kif 2556-2556 The number 1 argument of GUI element partially covered is an instance of partially covering graphical window
(domain guiElementPartiallyCovered 2 GUIElement) ComputerInput.kif 2557-2557 The number 2 argument of GUI element partially covered is an instance of GUI element
(instance guiElementPartiallyCovered BinaryPredicate) ComputerInput.kif 2555-2555 GUI element partially covered is an instance of binary predicate

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


(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ") domainEnglishFormat.kif 3578-3578
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ") domainEnglishFormat.kif 3577-3577
(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2") domainEnglishFormat.kif 3576-3576
(termFormat EnglishLanguage guiElementPartiallyCovered "GUI element partially covered") domainEnglishFormat.kif 65845-65845

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


(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))
ComputerInput.kif 2574-2577
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2582-2588

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


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


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