RMStartApplication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RMStartApplication

RMStartApplication

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 595-597
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 594-594	RMStartApplication is a subclass of computer program

antecedent

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

QoSontology.kif 599-606

If a computer program is an instance of RMStartApplication,
then there exist another computer program, a computer process and the computer programCopy such that the other computer program is an instance of computer program and the computer programCopy is a copy of the computer program and the startup of the other computer program is a program running of the computer process and the computer programCopy is an agent of the computer process

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