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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosingGraphicalWindow

Sigma KEE - ClosingGraphicalWindow
ClosingGraphicalWindow

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


(documentation ClosingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow on a ComputerScreen to stop being displayed.") ComputerInput.kif 2434-2435
(subclass ClosingGraphicalWindow Destruction) ComputerInput.kif 2433-2433 ClosingGraphicalWindow摧毁subclass
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 ClosingGraphicalWindowUserSignifiedGraphicalActionsubclass

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


(termFormat EnglishLanguage ClosingGraphicalWindow "closing graphical window") domainEnglishFormat.kif 64652-64652

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


(=>
    (and
        (instance ?CLOSE ClosingGraphicalWindow)
        (patient ?CLOSE ?WINDOW))
    (and
        (instance ?WINDOW InterfaceWindow)
        (time ?WINDOW
            (BeginFn
                (WhenFn ?OPEN)))
        (not
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN))))))
ComputerInput.kif 2438-2445


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