Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hasDependency |
| appearance as argument number 1 |
|
| (instance hasDependency BinaryPredicate) | QoSontology.kif 1333-1333 | has dependency is an instance of binary predicate |
| (domain hasDependency 1 ComputerProgram) | QoSontology.kif 1334-1334 | The number 1 argument of has dependency is an instance of computer program |
| (domain hasDependency 2 ComputerProgram) | QoSontology.kif 1335-1335 | The number 2 argument of has dependency is an instance of computer program |
| (documentation hasDependency EnglishLanguage "(hasDependency ?PROGRAM1 ?PROGRAM2) holds if ?PROGRAM1 is dependent on the application ?PROGRAM2.") | QoSontology.kif 1336-1337 | The number 2 argument of has dependency is an instance of computer program |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage hasDependency "%2 %p{has} %n{does not have} a dependency on %1") | domainEnglishFormat.kif 1135-1135 | |
| (format ChineseTraditionalLanguage hasDependency "%2 %p{有} %n{沒有} 對 %1 的依賴性") | domainEnglishFormat.kif 1136-1136 | |
| (format ChineseLanguage hasDependency "%2 %p{有} %n{没有} 对 %1 的依赖性") | domainEnglishFormat.kif 1137-1137 | |
| (termFormat EnglishLanguage hasDependency "has dependency") | domainEnglishFormat.kif 27512-27512 | |
| (termFormat ChineseTraditionalLanguage hasDependency "有依賴性") | domainEnglishFormat.kif 27513-27513 | |
| (termFormat ChineseLanguage hasDependency "有依赖性") | domainEnglishFormat.kif 27514-27514 |
| 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 |
|