startupTimeDelay - Sigma Knowledge base Browser

appearance as argument number 1

(instance startupTimeDelay BinaryPredicate)	QoSontology.kif 744-744	startup time delay is an instance of binary predicate
(domain startupTimeDelay 1 ComputerProgram)	QoSontology.kif 745-745	The number 1 argument of startup time delay is an instance of computer program
(domain startupTimeDelay 2 TimeDuration)	QoSontology.kif 746-746	The number 2 argument of startup time delay is an instance of time duration
(documentation startupTimeDelay EnglishLanguage "(startupTimeDelay ?PROGRAM ?TIME) says that ?TIME is the time to delay after the previous application was started before starting the application ?PROGRAM.")	QoSontology.kif 747-749	The number 2 argument of startup time delay is an instance of time duration

appearance as argument number 2

(format EnglishLanguage startupTimeDelay "the startup time delay of %1 is %2")	domainEnglishFormat.kif 4620-4620
(format ChineseTraditionalLanguage startupTimeDelay "%1 的 startup time delay 是 %2 ")	domainEnglishFormat.kif 4621-4621
(format ChineseLanguage startupTimeDelay "%1 的 startup time delay 是 %2 ")	domainEnglishFormat.kif 4622-4622
(termFormat EnglishLanguage startupTimeDelay "startup time delay")	domainEnglishFormat.kif 55093-55093
(termFormat ChineseTraditionalLanguage startupTimeDelay "啟動時間延遲")	domainEnglishFormat.kif 55094-55094
(termFormat ChineseLanguage startupTimeDelay "启动时间延迟")	domainEnglishFormat.kif 55095-55095

antecedent

(=>
    (and
        (startupTimeDelay ?Application ?Delay)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Application)
        (equal
            (WhenFn ?Process1) ?Time1)
        (instance ?Process2 ComputerProcess)
        (equal
            (WhenFn ?Process2) ?Time2)
        (meetsTemporally ?Time1 ?Time)
        (meetsTemporally ?Time ?Time2))
    (duration ?Time ?Delay))

If All of the following hold: (1) the startup time delay of X is Y (2) Z is an instance of computer process (3) X is a program running of Z (4) equal the time of existence of Z and W (5) V is an instance of computer process (6) equal the time of existence of V and U (7) W meets T (8) T meets U, then duration of T is Y