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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ProbabilityRelation

appearance as argument number 1

(documentation ProbabilityRelation ChineseLanguage "这是一个 Relation 类别,它允许评估事件 或情况出现的机率。") Merge.kif 4159-4160
(documentation ProbabilityRelation EnglishLanguage "The Class of Relations that permit assessment of the probability of an event or situation.") Merge.kif 4156-4157
(documentation ProbabilityRelation JapaneseLanguage "Relations の Class は、イベント または状況の確率の評価を可能にする。") Merge.kif 4162-4163
(subclass ProbabilityRelation InheritableRelation) Merge.kif 4154-4154
(subclass ProbabilityRelation Relation) Merge.kif 4153-4153

appearance as argument number 2

(instance ProbabilityFn ProbabilityRelation) Merge.kif 4165-4165
(instance conditionalProbability ProbabilityRelation) Merge.kif 4185-4185
(instance decreasesLikelihood ProbabilityRelation) Merge.kif 4236-4236
(instance increasesLikelihood ProbabilityRelation) Merge.kif 4207-4207
(instance independentProbability ProbabilityRelation) Merge.kif 4261-4261
(termFormat ChineseLanguage ProbabilityRelation "概率关系") chinese_format.kif 905-905
(termFormat EnglishLanguage ProbabilityRelation "probability relation") english_format.kif 1413-1413
(termFormat JapaneseLanguage ProbabilityRelation "確率関係") english_format.kif 1414-1414

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