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 2557-2558
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2555-2555 The number 1 argument of guiElementCoveredBy is an instance of GUIElement
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2556-2556 The number 2 argument of guiElementCoveredBy is an instance of GUIElement
(instance guiElementCoveredBy AsymmetricRelation) ComputerInput.kif 2554-2554 guiElementCoveredBy is an instance of asymmetric relation
(instance guiElementCoveredBy BinaryPredicate) ComputerInput.kif 2553-2553 guiElementCoveredBy is an instance of binary predicate

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 2561-2563

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 2611-2621


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