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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - guiElementCovered
guiElementCovered

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


(documentation guiElementCovered EnglishLanguage "(guiElementCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become completely covered by the action ?COVERING. It is still logically positioned at the same place on the screen.") ComputerInput.kif 2531-2533
(domain guiElementCovered 1 CoveringGUIElement) ComputerInput.kif 2529-2529 domain guiElementCovered, 1 and CoveringGUIElement
(domain guiElementCovered 2 GUIElement) ComputerInput.kif 2530-2530 domain guiElementCovered, 2 and GUIElement
(instance guiElementCovered BinaryPredicate) ComputerInput.kif 2528-2528 instance guiElementCovered and BinaryPredicate

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


(format ChineseLanguage guiElementCovered "%1 covers %2 ") domainEnglishFormat.kif 3571-3571
(format ChineseTraditionalLanguage guiElementCovered "%%1 covers %2 ") domainEnglishFormat.kif 3570-3570
(format EnglishLanguage guiElementCovered "%1 covers %2") domainEnglishFormat.kif 3569-3569

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


(=>
    (guiElementCovered ?COVERING ?GUIE)
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COVERING))
            (or
                (hasGUEState ?GUIE GUE_PartiallyCoveredState)
                (hasGUEState ?GUIE GUE_UncoveredState)))
        (holdsDuring
            (EndFn
                (WhenFn ?COVERING))
            (hasGUEState ?GUIE GUE_CoveredState))))
ComputerInput.kif 2543-2551

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


(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))
ComputerInput.kif 2535-2541


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