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 1223-1225
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221
(domainSubclass dependencyType 2 ComputerProgram) QoSontology.kif 1222-1222
(instance dependencyType BinaryPredicate) QoSontology.kif 1220-1220

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 19110-19110
(termFormat ChineseTraditionalLanguage dependencyType "依賴類型") domainEnglishFormat.kif 19109-19109
(termFormat EnglishLanguage dependencyType "dependency type") domainEnglishFormat.kif 19108-19108

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


(=>
    (dependencyType ?Program ?Type)
    (or
        (equal ?Type StartupBlock)
        (equal ?Type ShutdownBlock)))
QoSontology.kif 1227-1231
(=>
    (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