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 828-834
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 826-826	The number 1 argument of minimum replications is an instance of computer program
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 827-827	The number 2 argument of minimum replications is an instance of positive integer
(instance minimumReplications BinaryPredicate)	QoSontology.kif 825-825	minimum replications is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

QoSontology.kif 839-844