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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OpeningNewGraphicalWindow
OpeningNewGraphicalWindow

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


(documentation OpeningNewGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the display of a new InterfaceWindow on a ComputerScreen.") ComputerInput.kif 2384-2385
(subclass OpeningNewGraphicalWindow Creation) ComputerInput.kif 2383-2383 subclass OpeningNewGraphicalWindow and Creation
(subclass OpeningNewGraphicalWindow OpeningGraphicalWindow) ComputerInput.kif 2382-2382 subclass OpeningNewGraphicalWindow and OpeningGraphicalWindow

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


(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2401-2401 disjoint ReopeningGraphicalWindow and OpeningNewGraphicalWindow
(disjoint UncoveringGraphicalWindow OpeningNewGraphicalWindow) ComputerInput.kif 2418-2418 disjoint UncoveringGraphicalWindow and OpeningNewGraphicalWindow

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


(=>
    (instance ?OPEN OpeningNewGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?OPEN ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN)))
            (not
                (time ?WINDOW
                    (BeginFn
                        (WhenFn ?OPEN)))))))
ComputerInput.kif 2388-2395


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