Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dependencyType
dependencyType

appearance as argument number 1
-------------------------


(documentation dependencyType EnglishLanguage "(dependencyType ?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either StartupBlock or ShutdownBlock.") QoSontology.kif 1228-1230
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1226-1226
(domainSubclass dependencyType 2 ComputerProgram) QoSontology.kif 1227-1227
(instance dependencyType BinaryPredicate) QoSontology.kif 1225-1225

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


(format ChineseLanguage dependencyType "%2 %n 是 %1 的 dependency 类别") domainEnglishFormat.kif 708-708
(format ChineseTraditionalLanguage dependencyType "%2 %n 是 %1 的 dependency 類別") domainEnglishFormat.kif 707-707
(format EnglishLanguage dependencyType "%2 is %n a dependency type of %1") domainEnglishFormat.kif 706-706
(termFormat ChineseLanguage dependencyType "依赖类型") domainEnglishFormat.kif 19039-19039
(termFormat ChineseTraditionalLanguage dependencyType "依賴類型") domainEnglishFormat.kif 19038-19038
(termFormat EnglishLanguage dependencyType "dependency type") domainEnglishFormat.kif 19037-19037

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


(=>
    (dependencyType ?Program ?Type)
    (or
        (equal ?Type StartupBlock)
        (equal ?Type ShutdownBlock)))
QoSontology.kif 1232-1236
(=>
    (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 1275-1289
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners