minimumReplications - Sigma Knowledge base Browser

appearance as argument number 1

(instance minimumReplications BinaryPredicate)	QoSontology.kif 815-815	minimum replications is an instance of binary predicate
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 816-816	The number 1 argument of minimum replications is an instance of computer program
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 817-817	The number 2 argument of minimum replications is an instance of positive integer
(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 818-824	The number 2 argument of minimum replications is an instance of positive integer

appearance as argument number 2

(format EnglishLanguage minimumReplications "%2 is %n a minimum replications of %1")	domainEnglishFormat.kif 1749-1749
(format ChineseTraditionalLanguage minimumReplications "%2 %n 是 %1 的 minimum 複製")	domainEnglishFormat.kif 1750-1750
(format ChineseLanguage minimumReplications "%2 %n 是 %1 的 minimum 复制")	domainEnglishFormat.kif 1751-1751
(termFormat EnglishLanguage minimumReplications "minimum replications")	domainEnglishFormat.kif 37889-37889
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複")	domainEnglishFormat.kif 37890-37890
(termFormat ChineseLanguage minimumReplications "最小重复")	domainEnglishFormat.kif 37891-37891

antecedent

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

If X is a minimum replications of Y, then the number of instances in the class described by Z is greater than or equal to X