Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|