ClosingGraphicalWindow - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ClosingGraphicalWindow

ClosingGraphicalWindow(closing graphical window)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2434-2435
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2433-2433	Closing graphical window is a subclass of destruction
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2432-2432	Closing graphical window is a subclass of user signified graphical action

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64650-64650

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 2438-2445

If a process is an instance of closing graphical window and a physical is a patient of the process,
then the physical is an instance of interface window and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical

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