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 类别,它允许评估事件 或情况出现的机率。") chinese_format.kif 1899-1900
(documentation ProbabilityRelation EnglishLanguage "The Class of Relations that permit assessment of the probability of an event or situation.") Merge.kif 2468-2469
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2466-2466 subclass ProbabilityRelation and InheritableRelation
(subclass ProbabilityRelation Relation) Merge.kif 2465-2465 subclass ProbabilityRelation and Relation

appearance as argument number 2

(instance ProbabilityFn ProbabilityRelation) Merge.kif 2471-2471 instance ProbabilityFn and ProbabilityRelation
(instance conditionalProbability ProbabilityRelation) Merge.kif 2482-2482 instance conditionalProbability and ProbabilityRelation
(instance decreasesLikelihood ProbabilityRelation) Merge.kif 2514-2514 instance decreasesLikelihood and ProbabilityRelation
(instance increasesLikelihood ProbabilityRelation) Merge.kif 2494-2494 instance increasesLikelihood and ProbabilityRelation
(instance independentProbability ProbabilityRelation) Merge.kif 2531-2531 instance independentProbability and ProbabilityRelation
(termFormat ChineseLanguage ProbabilityRelation "概率关系") chinese_format.kif 905-905
(termFormat EnglishLanguage ProbabilityRelation "probability relation") english_format.kif 1022-1022

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