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 731-733
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 729-729
(domain maximumReplications 2 PositiveInteger) QoSontology.kif 730-730
(instance maximumReplications BinaryPredicate) QoSontology.kif 728-728

appearance as argument number 2
-------------------------


(format EnglishLanguage maximumReplications "%2 is %n a maximum replications of %1") domainEnglishFormat.kif 422-422
(termFormat EnglishLanguage maximumReplications "maximum replications") domainEnglishFormat.kif 6521-6521

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners