maximumReplications - Sigma Knowledge base Browser

appearance as argument number 1

(instance maximumReplications BinaryPredicate)	QoSontology.kif 836-836	maximum replications is an instance of binary predicate
(domain maximumReplications 1 ComputerProgram)	QoSontology.kif 837-837	The number 1 argument of maximum replications is an instance of computer program
(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 838-838	The number 2 argument of maximum replications is an instance of positive integer
(documentation maximumReplications EnglishLanguage "(maximumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the maximum number of copies of this application which can be run during a process.")	QoSontology.kif 839-841	The number 2 argument of maximum replications is an instance of positive integer

appearance as argument number 2

(format EnglishLanguage maximumReplications "%2 is %n a maximum replications of %1")	domainEnglishFormat.kif 1657-1657
(format ChineseTraditionalLanguage maximumReplications "%2 %n 是 %1 的 maximum 複製")	domainEnglishFormat.kif 1658-1658
(format ChineseLanguage maximumReplications "%2 %n 是 %1 的 maximum 复制")	domainEnglishFormat.kif 1659-1659
(termFormat EnglishLanguage maximumReplications "maximum replications")	domainEnglishFormat.kif 36611-36611
(termFormat ChineseTraditionalLanguage maximumReplications "最大的複制")	domainEnglishFormat.kif 36612-36612
(termFormat ChineseLanguage maximumReplications "最大的复制")	domainEnglishFormat.kif 36613-36613

antecedent

(=>
    (maximumReplications ?Application ?MaxCopies)
    (greaterThanOrEqualTo ?MaxCopies
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application)))))

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