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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2060-2060
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2058-2058
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2059-2059
(instance guiElementCoveredBy AsymmetricRelation) ComputerInput.kif 2057-2057
(instance guiElementCoveredBy BinaryPredicate) ComputerInput.kif 2056-2056

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


(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3575-3575
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ") domainEnglishFormat.kif 3574-3574
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2") domainEnglishFormat.kif 3573-3573

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


(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))
ComputerInput.kif 2063-2065

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 2109-2119


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