startupOf - Sigma Knowledge base Browser

appearance as argument number 1

(documentation startupOf EnglishLanguage "(startupOf ?STARTUP ?PROGRAM) holds just in case an instance of StartupBlock ?STARTUP specifies a set of instructions to start the ?PROGRAM.")	QoSontology.kif 374-376
(domain startupOf 1 StartupBlock)	QoSontology.kif 372-372	The number 1 argument of startup of is an instance of startup block
(domain startupOf 2 ComputerProgram)	QoSontology.kif 373-373	The number 2 argument of startup of is an instance of computer program
(instance startupOf BinaryPredicate)	QoSontology.kif 371-371	startup of is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage startupOf "%2 %n 是 %1 的 startup")	domainEnglishFormat.kif 2347-2347
(format ChineseTraditionalLanguage startupOf "%2 %n 是 %1 的 startup ")	domainEnglishFormat.kif 2346-2346
(format EnglishLanguage startupOf "%2 is %n a startup of %1")	domainEnglishFormat.kif 2345-2345
(termFormat ChineseLanguage startupOf "的启动")	domainEnglishFormat.kif 55132-55132
(termFormat ChineseTraditionalLanguage startupOf "的啟動")	domainEnglishFormat.kif 55131-55131
(termFormat EnglishLanguage startupOf "startup of")	domainEnglishFormat.kif 55130-55130

antecedent

(=>
    (and
        (startupOf ?Startup ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Startup)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time1 ?Time2))))

QoSontology.kif 387-398

If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval,
then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval

consequent

(=>
    (instance ?Startup StartupBlock)
    (exists (?Application)
        (startupOf ?Startup ?Application)))

QoSontology.kif 380-383

If a startup block is an instance of startup block,
then there exists a computer program such that the computer program is a startup of the startup block

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: