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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - minimumReplications
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
s__domain(s__minimumReplications__m,n__1,s__ComputerProgram)

QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program
s__domain(s__minimumReplications__m,n__2,s__PositiveInteger)

QoSontology.kif 719-719 The number 2 argument of minimum replications is an instance of positive integer
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__minimumReplications__m,s__BinaryPredicate)

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
s__termFormat(s__ChineseLanguage,s__minimumReplications__m,'"最小重复"')

domainEnglishFormat.kif 37878-37878
s__termFormat(s__ChineseTraditionalLanguage,s__minimumReplications__m,'"最小重複"')

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

domainEnglishFormat.kif 37876-37876

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


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


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