Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  eventPartlyLocated

 Sigma KEE - dependencyDelay
dependencyDelay

appearance as argument number 1
-------------------------


(instance dependencyDelay BinaryPredicate) QoSontology.kif 1339-1339 dependency delay is an instance of binary predicate
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1340-1340 The number 1 argument of dependency delay is an instance of computer program
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1341-1341 The number 2 argument of dependency delay is an instance of time duration
(documentation dependencyDelay EnglishLanguage "if the dependency type is StartupBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be started after a dependency delay of ?TIME after the startup of the application. If the dependency type is ShutdownBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be stopped after a dependency delay of ?TIME after the application is stopped.") QoSontology.kif 1342-1348 The number 2 argument of dependency delay is an instance of time duration

appearance as argument number 2
-------------------------


(format EnglishLanguage dependencyDelay "%2 is %n a dependency delay of %1") domainEnglishFormat.kif 702-702
(format ChineseTraditionalLanguage dependencyDelay "%2 %n 是 %1 的 dependency 延遲") domainEnglishFormat.kif 703-703
(format ChineseLanguage dependencyDelay "%2 %n 是 %1 的 dependency 延迟") domainEnglishFormat.kif 704-704
(termFormat EnglishLanguage dependencyDelay "dependency delay") domainEnglishFormat.kif 19098-19098
(termFormat ChineseTraditionalLanguage dependencyDelay "依賴延遲") domainEnglishFormat.kif 19099-19099
(termFormat ChineseLanguage dependencyDelay "依赖延迟") domainEnglishFormat.kif 19100-19100

antecedent
-------------------------


(=>
    (and
        (dependencyDelay ?Program1 ?Delay)
        (dependencyType ?Program1 StartupBlock)
        (hasDependency ?Program1 ?Program2)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Program1)
        (instance ?Process2 ComputerProcess)
        (programRunning ?Process2 ?Program2)
        (equal
            (WhenFn ?Process2) ?Time2)
        (starts ?Time2 ?Time)
        (equal
            (WhenFn ?Process1) ?Time1)
        (equal
            (EndFn ?Time)
            (BeginFn ?Time1)))
    (duration ?Time ?Delay))		 QoSontology.kif 1350-1367 If All of the following hold: (1) X is a dependency delay of Y (2) startup block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) U starts T (10) equal the time of existence of W and S (11) equal the end of T and the beginning of S, then duration of T is X
(=>
    (and
        (dependencyDelay ?Program1 ?Delay)
        (dependencyType ?Program1 ShutdownBlock)
        (hasDependency ?Program1 ?Program2)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Program1)
        (instance ?Process2 ComputerProcess)
        (programRunning ?Process2 ?Program2)
        (equal
            (WhenFn ?Process2) ?Time2)
        (finishes ?Time ?Time1)
        (equal
            (WhenFn ?Process2) ?Time2)
        (equal
            (BeginFn ?Time)
            (EndFn ?Time2)))
    (duration ?Time ?Delay))		 QoSontology.kif 1369-1386 If All of the following hold: (1) X is a dependency delay of Y (2) shutdown block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) T finishes S (10) equal the time of existence of V and U (11) equal the beginning of T and the end of U, then duration of T is X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners