minimumReplications - Sigma Knowledge base Browser

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 722-728
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 720-720	The number 1 argument of minimum replications is an instance of computer program
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	The number 2 argument of minimum replications is an instance of positive integer
(instance minimumReplications BinaryPredicate)	QoSontology.kif 719-719	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 37923-37923
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複")	domainEnglishFormat.kif 37922-37922
(termFormat EnglishLanguage minimumReplications "minimum replications")	domainEnglishFormat.kif 37921-37921

antecedent

(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))

QoSontology.kif 733-738