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 では %n
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 ClosingGraphicalWindowUserSignifiedGraphicalActionsubclass では %n

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


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

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