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

Formal Language: 



KB Term:  Term intersection
English Word: 

  guiElementCoveredBy

Sigma KEE - guiElementCoveredBy
guiElementCoveredBy

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


(documentation guiElementCoveredBy EnglishLanguage "(guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2.") ComputerInput.kif 2543-2544
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2541-2541
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2542-2542
(instance guiElementCoveredBy AsymmetricRelation) ComputerInput.kif 2540-2540
(instance guiElementCoveredBy BinaryPredicate) ComputerInput.kif 2539-2539

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


(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3574-3574
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3573-3573
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2") domainEnglishFormat.kif 3572-3572
(termFormat EnglishLanguage guiElementCoveredBy "GUI element covered by") domainEnglishFormat.kif 65842-65842

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


(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))
ComputerInput.kif 2547-2549

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


(=>
    (and
        (instance ?COVERING CoveringGUIElement)
        (agent ?COVERING ?GUIE_TOP)
        (patient ?COVERING ?GUIE_BOTTOM)
        (instance ?GUIE_TOP GUIElement)
        (instance ?GUIE_BOTTOM GUIElement))
    (holdsDuring
        (EndFn ?COVERING)
        (or
            (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
            (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607


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