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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - minimumReplications

appearance as argument number 1

s__documentation(s__minimumReplications__m,s__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 720-726

QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program

QoSontology.kif 719-719 The number 2 argument of minimum replications is an instance of positive integer


QoSontology.kif 717-717 minimum replications is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__minimumReplications__m,'"%2 %n 是 %1 的 minimum 复制"')

domainEnglishFormat.kif 1747-1747
s__format(s__ChineseTraditionalLanguage,s__minimumReplications__m,'"%2 %n 是 %1 的 minimum 複製"')

domainEnglishFormat.kif 1746-1746
s__format(s__EnglishLanguage,s__minimumReplications__m,'"%2 is %n a minimum replications of %1"')

domainEnglishFormat.kif 1745-1745

domainEnglishFormat.kif 37878-37878

domainEnglishFormat.kif 37877-37877
s__termFormat(s__EnglishLanguage,s__minimumReplications__m,'"minimum replications"')

domainEnglishFormat.kif 37876-37876


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 731-736

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