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

Formal Language: 



KB Term:  Term intersection
English Word: 

  guiElementCovered

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 2517-2519
(domain guiElementCovered 1 CoveringGUIElement) ComputerInput.kif 2515-2515 guiElementCovered の数値 1 引数は CoveringGUIElementinstance では %n
(domain guiElementCovered 2 GUIElement) ComputerInput.kif 2516-2516 guiElementCovered の数値 2 引数は GUIElementinstance では %n
(instance guiElementCovered BinaryPredicate) ComputerInput.kif 2514-2514 guiElementCovered2進述語instance では %n

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


(format ChineseLanguage guiElementCovered "%1 covers %2 ") domainEnglishFormat.kif 3570-3570
(format ChineseTraditionalLanguage guiElementCovered "%%1 covers %2 ") domainEnglishFormat.kif 3569-3569
(format EnglishLanguage guiElementCovered "%1 covers %2") domainEnglishFormat.kif 3568-3568
(termFormat EnglishLanguage guiElementCovered "GUI element covered") domainEnglishFormat.kif 65841-65841

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

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


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


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