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

Formal Language: 



KB Term:  Term intersection
English Word: 

  minimumReplications

Sigma KEE - minimumReplications
minimumReplications

appearance as argument number 1
-------------------------


(documentation minimumReplications EnglishLanguage "(minimumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the minimum copies of the application ?PROGRAM required to be survivable, where a program is survivable if the failure of one or more resources does not result in the failure of the program. Either long MTTF for the system as a whole or short MTTR when failure occurs would improve the survivability of a program.") QoSontology.kif 722-728
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 最小重複, 1 and ComputerProgram
(domain minimumReplications 2 PositiveInteger) QoSontology.kif 721-721 最小重複, 2 and PositiveInteger
(instance minimumReplications BinaryPredicate) QoSontology.kif 719-719 最小重複 and BinaryPredicate

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


(format ChineseLanguage minimumReplications "%2 %n 是 %1 的 minimum 复制") domainEnglishFormat.kif 1747-1747
(format ChineseTraditionalLanguage minimumReplications "%2 %n 是 %1 的 minimum 複製") domainEnglishFormat.kif 1746-1746
(format EnglishLanguage minimumReplications "%2 is %n a minimum replications of %1") domainEnglishFormat.kif 1745-1745
(termFormat ChineseLanguage minimumReplications "最小重复") domainEnglishFormat.kif 37889-37889
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複") domainEnglishFormat.kif 37888-37888
(termFormat EnglishLanguage minimumReplications "minimum replications") domainEnglishFormat.kif 37887-37887

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


(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738


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