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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UncoveringGraphicalWindow
UncoveringGraphicalWindow

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


(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2418-2418 disjoint UncoveringGraphicalWindow and OpeningNewGraphicalWindow
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) ComputerInput.kif 2419-2419 disjoint UncoveringGraphicalWindow and ReopeningGraphicalWindow
(documentation UncoveringGraphicalWindow EnglishLanguage "A UserSignifiedAction causing a CoveredInterfaceWindow to become visible again by (re)moving any GraphicalUIElement that has been covering it.") ComputerInput.kif 2416-2417
(subclass UncoveringGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2415-2415 subclass UncoveringGraphicalWindow and OpeningGraphicalWindow

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


(domain guiElementUncovered 1 UncoveringGraphicalWindow) ComputerInput.kif 2638-2638 domain guiElementUncovered, 1 and UncoveringGraphicalWindow

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


(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2438-2445
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2431-2436
(=>
    (instance ?UNCOVER UncoveringGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?UNCOVER ?WINDOW)
            (instance ?WINDOW InterfaceWindow))))
ComputerInput.kif 2422-2427


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