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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - decreasesLikelihood
decreasesLikelihood

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


s__disjointRelation(s__decreasesLikelihood__m,s__independentProbability__m)

Merge.kif 2760-2760
s__documentation(s__decreasesLikelihood__m,s__ChineseLanguage,'这是其中一个基本的 ProbabilityRelation, (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真,那么 ?FORMULA2 不太 可能会是真的。')

Merge.kif 2783-2785
s__documentation(s__decreasesLikelihood__m,s__EnglishLanguage,'One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.')

Merge.kif 2780-2782
s__domain(s__decreasesLikelihood__m,1,s__Formula)

Merge.kif 2778-2778
s__domain(s__decreasesLikelihood__m,2,s__Formula)

Merge.kif 2779-2779
s__instance(s__decreasesLikelihood__m,s__BinaryPredicate)

Merge.kif 2776-2776
s__instance(s__decreasesLikelihood__m,s__IrreflexiveRelation)

Merge.kif 2777-2777
s__instance(s__decreasesLikelihood__m,s__ProbabilityRelation)

Merge.kif 2775-2775

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


s__disjointRelation(s__increasesLikelihood__m,s__decreasesLikelihood__m)

Merge.kif 2758-2758
s__format(s__ChineseLanguage,s__decreasesLikelihood__m,'%1 %n{doesnt} 减少 %2 发生的机率')

chinese_format.kif 89-89
s__format(s__EnglishLanguage,s__decreasesLikelihood__m,'%1 %n{doesnt} decrease%p{s} likelihood of %2')

english_format.kif 71-71
s__format(s__FrenchLanguage,s__decreasesLikelihood__m,'%1 %n{ne} diminue %n{pas} la probabilit� de %2')

french_format.kif 67-67
s__format(s__PortugueseLanguage,s__decreasesLikelihood__m,'%1 %n{nao} diminui %n a probabilidade de %2')

portuguese_format.kif 19-19
s__format(s__ar__m,s__decreasesLikelihood__m,'%1 %n{لا} يُنْقِص اِحْتِمَال %2')

arabic_format.kif 17-17
s__format(s__cz__m,s__decreasesLikelihood__m,'%1 %n{doesnt} decrease%p{s} likelihood of %2')

relations-cz.txt 91-91
s__format(s__de__m,s__decreasesLikelihood__m,'%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}')

relations-de.txt 98-98
s__format(s__hi__m,s__decreasesLikelihood__m,'%1 %2 kii sambhaavanaa ko ghaTaataa %n{nahiin} hai')

relations-hindi.txt 108-108
s__format(s__tg__m,s__decreasesLikelihood__m,'%1 %n ay nagbabawas ang malamang sa %2')

relations-tg.txt 150-150
s__format(s__tg__m,s__decreasesLikelihood__m,'%1 %n ay ngbabawas ang malamang sa %2')

relations-cb.txt 101-101
s__termFormat(s__ChineseLanguage,s__decreasesLikelihood__m,'降低可能性')

chinese_format.kif 90-90
s__termFormat(s__EnglishLanguage,s__decreasesLikelihood__m,'decreases likelihood')

domainEnglishFormat.kif 3560-3560
s__termFormat(s__ar__m,s__decreasesLikelihood__m,'«يُنْقِص اِحْتِمَال»')

arabic_format.kif 467-467
s__termFormat(s__tg__m,s__decreasesLikelihood__m,'nagbabawas malamang')

relations-tg.txt 151-151

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2787-2792

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2813-2820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15862-15882
No TPTP formula. May not be expressible in strict first order. Merge.kif 4509-4519
No TPTP formula. May not be expressible in strict first order. Merge.kif 4427-4440
No TPTP formula. May not be expressible in strict first order. Cars.kif 3528-3552
No TPTP formula. May not be expressible in strict first order. Cars.kif 1006-1024
No TPTP formula. May not be expressible in strict first order. Cars.kif 3960-3978

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878


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