hasDependency - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - hasDependency

hasDependency

appearance as argument number 1

(documentation hasDependency EnglishLanguage "(hasDependency ?PROGRAM1 ?PROGRAM2) holds if ?PROGRAM1 is dependent on the application ?PROGRAM2.")	QoSontology.kif 1240-1241
(domain hasDependency 1 ComputerProgram)	QoSontology.kif 1238-1238	The number 1 argument of has dependency is an instance of computer program
(domain hasDependency 2 ComputerProgram)	QoSontology.kif 1239-1239	The number 2 argument of has dependency is an instance of computer program
(instance hasDependency BinaryPredicate)	QoSontology.kif 1237-1237	has dependency is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage hasDependency "%2 %p{有} %n{没有} 对 %1 的依赖性")	domainEnglishFormat.kif 1137-1137
(format ChineseTraditionalLanguage hasDependency "%2 %p{有} %n{沒有} 對 %1 的依賴性")	domainEnglishFormat.kif 1136-1136
(format EnglishLanguage hasDependency "%2 %p{has} %n{does not have} a dependency on %1")	domainEnglishFormat.kif 1135-1135
(termFormat ChineseLanguage hasDependency "有依赖性")	domainEnglishFormat.kif 27544-27544
(termFormat ChineseTraditionalLanguage hasDependency "有依賴性")	domainEnglishFormat.kif 27543-27543
(termFormat EnglishLanguage hasDependency "has dependency")	domainEnglishFormat.kif 27542-27542

antecedent

(=> (exists (?Time1 ?Time2) (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 1270-1284	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
(=> (exists (?Time1 ?Time2) (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 1254-1268	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners