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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UncoveringGraphicalWindow

Sigma KEE - UncoveringGraphicalWindow
UncoveringGraphicalWindow

appearance as argument number 1
-------------------------


(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2403-2403 UncoveringGraphicalWindow 和 % 2 是 disjoint
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2404-2404 UncoveringGraphicalWindow 和 % 2 是 disjoint
(documentation UncoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a CoveredInterfaceWindow to become visible again by (re)moving any GraphicalUIElement that has been covering it.") ComputerInput.kif 2401-2402
(subclass UncoveringGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2400-2400 UncoveringGraphicalWindowOpeningGraphicalWindowsubclass

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


(termFormat EnglishLanguage UncoveringGraphicalWindow "uncovering graphical window") domainEnglishFormat.kif 65644-65644

appearance as argument number 3
-------------------------


(domain guiElementUncovered 1 UncoveringGraphicalWindow) ComputerInput.kif 2624-2624 guiElementUncovered 的 1 数量 是 UncoveringGraphicalWindowinstance

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


(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2416-2421
(=>
    (instance ?UNCOVER UncoveringGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?UNCOVER ?WINDOW)
            (instance ?WINDOW InterfaceWindow))))
ComputerInput.kif 2407-2412


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