TreeView Knowledge Base Browser - maximumReplications

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 743-745
(domain maximumReplications 1 ComputerProgram)	QoSontology.kif 741-741	最大的复制的 1 数量是电脑程序的 instance
(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 742-742	最大的复制的 2 数量是正整数的 instance
(instance maximumReplications BinaryPredicate)	QoSontology.kif 740-740	最大的复制是二元谓语的 instance

appearance as argument number 2

(format ChineseLanguage maximumReplications "%2 %n 是 %1 的 maximum 复制")	domainEnglishFormat.kif 1655-1655
(format ChineseTraditionalLanguage maximumReplications "%2 %n 是 %1 的 maximum 複製")	domainEnglishFormat.kif 1654-1654
(format EnglishLanguage maximumReplications "%2 is %n a maximum replications of %1")	domainEnglishFormat.kif 1653-1653
(termFormat ChineseLanguage maximumReplications "最大的复制")	domainEnglishFormat.kif 36611-36611
(termFormat ChineseTraditionalLanguage maximumReplications "最大的複制")	domainEnglishFormat.kif 36610-36610
(termFormat EnglishLanguage maximumReplications "maximum replications")	domainEnglishFormat.kif 36609-36609

antecedent

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

QoSontology.kif 750-755