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 2539-2540
(domain guiElementCoveredBy 1 GUIElement) ComputerInput.kif 2537-2537 The number 1 argument of guiElementCoveredBy is an instance of GUIElement
(domain guiElementCoveredBy 2 GUIElement) ComputerInput.kif 2538-2538 The number 2 argument of guiElementCoveredBy is an instance of GUIElement
(instance guiElementCoveredBy AsymmetricRelation) ComputerInput.kif 2536-2536 guiElementCoveredBy is an instance of asymmetric relation
(instance guiElementCoveredBy BinaryPredicate) ComputerInput.kif 2535-2535 guiElementCoveredBy is an instance of binary predicate

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

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


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

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 2593-2603


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 3.0 is open source software produced by Articulate Software and its partners