Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dependencyType |
| appearance as argument number 1 |
|
| (instance dependencyType BinaryPredicate) | QoSontology.kif 1316-1316 | dependency type is an instance of binary predicate |
| (domain dependencyType 1 ComputerProgram) | QoSontology.kif 1317-1317 | The number 1 argument of dependency type is an instance of computer program |
| (domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1318-1318 | The number 2 argument of dependency type is a subclass of computer program |
| (documentation dependencyType EnglishLanguage "(dependencyType ?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either StartupBlock or ShutdownBlock.") | QoSontology.kif 1319-1321 | The number 2 argument of dependency type is a subclass of computer program |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dependencyType "%2 is %n a dependency type of %1") | domainEnglishFormat.kif 706-706 | |
| (format ChineseTraditionalLanguage dependencyType "%2 %n 是 %1 的 dependency 類別") | domainEnglishFormat.kif 707-707 | |
| (format ChineseLanguage dependencyType "%2 %n 是 %1 的 dependency 类别") | domainEnglishFormat.kif 708-708 | |
| (termFormat EnglishLanguage dependencyType "dependency type") | domainEnglishFormat.kif 19110-19110 | |
| (termFormat ChineseTraditionalLanguage dependencyType "依賴類型") | domainEnglishFormat.kif 19111-19111 | |
| (termFormat ChineseLanguage dependencyType "依赖类型") | domainEnglishFormat.kif 19112-19112 |
| antecedent |
|
|
| (=> (dependencyType ?Program ?Type) (or (equal ?Type StartupBlock) (equal ?Type ShutdownBlock))) |
QoSontology.kif 1323-1327 | If X is a dependency type of Y, then equal X and startup block or equal X and shutdown block |
| (=> (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 |
|