Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - maximumReplications
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 852-854
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 850-850 The number 1 argument of maximum replications is an instance of computer program
(domain maximumReplications 2 PositiveInteger) QoSontology.kif 851-851 The number 2 argument of maximum replications is an instance of positive integer
(instance maximumReplications BinaryPredicate) QoSontology.kif 849-849 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 36620-36620
(termFormat ChineseTraditionalLanguage maximumReplications "最大的複制") domainEnglishFormat.kif 36619-36619
(termFormat EnglishLanguage maximumReplications "maximum replications") domainEnglishFormat.kif 36618-36618

antecedent
-------------------------


(=>
    (maximumReplications ?Application ?MaxCopies)
    (greaterThanOrEqualTo ?MaxCopies
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application)))))
QoSontology.kif 859-864


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners