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

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