RMStartApplication - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RMStartApplication EnglishLanguage "A program started by a Resource Management program, which determines if and where to start the application.")	QoSontology.kif 595-597
(subclass RMStartApplication ComputerProgram)	QoSontology.kif 594-594	RMStartApplication is a subclass of computer program

antecedent

(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))

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

KB Term:			Term intersection

English Word: