maximumReplications - Sigma Knowledge base Browser

appearance as argument number 1

(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 849-851
(domain maximumReplications 1 ComputerProgram)	QoSontology.kif 847-847	The number 1 argument of maximum replications is an instance of computer program
(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 848-848	The number 2 argument of maximum replications is an instance of positive integer
(instance maximumReplications BinaryPredicate)	QoSontology.kif 846-846	maximum replications is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

QoSontology.kif 856-861