| 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