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
-------------------------


s__documentation(s__hasDependency__m,s__EnglishLanguage,'"(hasDependency ?PROGRAM1 ?PROGRAM2) holds if ?PROGRAM1 is dependent on the application ?PROGRAM2."')

QoSontology.kif 1245-1246
s__domain(s__hasDependency__m,n__1,s__ComputerProgram)

QoSontology.kif 1243-1243 The number 1 argument of has dependency is an instance of computer program
s__domain(s__hasDependency__m,n__2,s__ComputerProgram)

QoSontology.kif 1244-1244 The number 2 argument of has dependency is an instance of computer program
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__hasDependency__m,s__BinaryPredicate)

QoSontology.kif 1242-1242 has dependency is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__hasDependency__m,'"%2 %p{有} %n{没有} 对 %1 的依赖性"')

domainEnglishFormat.kif 1137-1137
s__format(s__ChineseTraditionalLanguage,s__hasDependency__m,'"%2 %p{有} %n{沒有} 對 %1 的依賴性"')

domainEnglishFormat.kif 1136-1136
s__format(s__EnglishLanguage,s__hasDependency__m,'"%2 %p{has} %n{does not have} a dependency on %1"')

domainEnglishFormat.kif 1135-1135
s__termFormat(s__ChineseLanguage,s__hasDependency__m,'"有依赖性"')

domainEnglishFormat.kif 27501-27501
s__termFormat(s__ChineseTraditionalLanguage,s__hasDependency__m,'"有依賴性"')

domainEnglishFormat.kif 27500-27500
s__termFormat(s__EnglishLanguage,s__hasDependency__m,'"has dependency"')

domainEnglishFormat.kif 27499-27499

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


( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__ShutdownBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__finishes(V__Time,V__Time1)
       &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     (s__BeginFn(V__Time)
     = s__EndFn(V__Time2))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1275-1289
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__StartupBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__starts(V__Time2,V__Time)
       &
       (s__WhenFn(V__Process1)
       = V__Time1)
     &
     (s__EndFn(V__Time)
     = s__BeginFn(V__Time1))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1259-1273


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