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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maximumReplications

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 743-745
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 Il numero 1 argomenti di maximumReplications è un istanza di ProgrammaDiComputer
(domain maximumReplications 2 PositiveInteger) QoSontology.kif 742-742 Il numero 2 argomenti di maximumReplications è un istanza di NumeroInteroPositivo
(instance maximumReplications BinaryPredicate) QoSontology.kif 740-740 maximumReplications è un' istanza di PredicatoBinario

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


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

Show without tree


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