| 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 2603-2604 | |
| (documentation ProbabilityRelation JapaneseLanguage "Relations の Class は、イベント または状況の確率の評価を可能にする。") | japanese_format.kif 525-526 | |
| (subclass ProbabilityRelation InheritableRelation) | Merge.kif 2601-2601 | Probability relation is a subclass of inheritable relation |
| (subclass ProbabilityRelation Relation) | Merge.kif 2600-2600 | Probability relation is a subclass of relation |
| appearance as argument number 2 |
|
|
|
|