ProbabilityFn |
appearance as argument number 1 |
![]() |
(documentation ProbabilityFn ChineseLanguage "这是其中一个基本的 ProbabilityRelation, ProbabilityFn 是用来描述事态的先验机率。(ProbabilityFn ?FORMULA)表示 ?FORMULA 的先验机率。") | chinese_format.kif 1901-1902 | |
(documentation ProbabilityFn EnglishLanguage "One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA.") | Merge.kif 2516-2519 | |
(domain ProbabilityFn 1 Formula) | Merge.kif 2513-2513 | The number 1 argument of probability is an instance of formula |
(instance ProbabilityFn ProbabilityRelation) | Merge.kif 2510-2510 | Probability is an instance of probability relation |
(instance ProbabilityFn TotalValuedRelation) | Merge.kif 2511-2511 | Probability is an instance of total valued relation |
(instance ProbabilityFn UnaryFunction) | Merge.kif 2512-2512 | Probability is an instance of unary function |
(range ProbabilityFn RealNumber) | Merge.kif 2514-2514 | The range of probability is an instance of real number |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ProbabilityFn "%1 的机率") | chinese_format.kif 271-271 | |
(format EnglishLanguage ProbabilityFn "the probability of %1") | english_format.kif 276-276 | |
(termFormat ChineseLanguage ProbabilityFn "可能性") | domainEnglishFormat.kif 47475-47475 | |
(termFormat ChineseLanguage ProbabilityFn "表示机率的函数") | chinese_format.kif 272-272 | |
(termFormat ChineseTraditionalLanguage ProbabilityFn "可能性") | domainEnglishFormat.kif 47474-47474 | |
(termFormat EnglishLanguage ProbabilityFn "probability") | domainEnglishFormat.kif 47473-47473 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |