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 | ClosingGraphicalWindow 是 UserSignifiedGraphicalAction 的 subclass |
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 |