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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 2539-2540
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2537-2537
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2538-2538
(instance guiElementCoveredBy AsymmetricRelation) ComputerInput.kif 2536-2536
(instance guiElementCoveredBy BinaryPredicate) ComputerInput.kif 2535-2535

appearance as argument number 2

(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3579-3579
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3578-3578
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2") domainEnglishFormat.kif 3577-3577


    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))
ComputerInput.kif 2543-2545


        (instance ?COVERING CoveringGUIElement)
        (agent ?COVERING ?GUIE_TOP)
        (patient ?COVERING ?GUIE_BOTTOM)
        (instance ?GUIE_TOP GUIElement)
        (instance ?GUIE_BOTTOM GUIElement))
        (EndFn ?COVERING)
            (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
            (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2593-2603

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