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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - minimumReplications
minimumReplications

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


(documentation minimumReplications EnglishLanguage "(minimumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the minimum copies of the application ?PROGRAM required to be survivable, where a program is survivable if the failure of one or more resources does not result in the failure of the program. Either long MTTF for the system as a whole or short MTTR when failure occurs would improve the survivability of a program.") QoSontology.kif 720-726
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program
(domain minimumReplications 2 PositiveInteger) QoSontology.kif 719-719 The number 2 argument of minimum replications is an instance of positive integer
(instance minimumReplications BinaryPredicate) QoSontology.kif 717-717 minimum replications is an instance of binary predicate

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


(format ChineseLanguage minimumReplications "%2 %n 是 %1 的 minimum 复制") domainEnglishFormat.kif 1747-1747
(format ChineseTraditionalLanguage minimumReplications "%2 %n 是 %1 的 minimum 複製") domainEnglishFormat.kif 1746-1746
(format EnglishLanguage minimumReplications "%2 is %n a minimum replications of %1") domainEnglishFormat.kif 1745-1745
(termFormat ChineseLanguage minimumReplications "最小重复") domainEnglishFormat.kif 37810-37810
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複") domainEnglishFormat.kif 37809-37809
(termFormat EnglishLanguage minimumReplications "minimum replications") domainEnglishFormat.kif 37808-37808

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


(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))
QoSontology.kif 731-736


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