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 有依赖性 的 1 数量 是 电脑程序instance
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 有依赖性 的 2 数量 是 电脑程序instance
(instance hasDependency BinaryPredicate) QoSontology.kif 1237-1237 有依赖性二元谓语instance

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 27510-27510
(termFormat ChineseTraditionalLanguage hasDependency "有依賴性") domainEnglishFormat.kif 27509-27509
(termFormat EnglishLanguage hasDependency "has dependency") domainEnglishFormat.kif 27508-27508

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


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