Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| confidenceInterval |
| appearance as argument number 1 |
|
| (instance confidenceInterval BinaryPredicate) | UXExperimentalTerms.kif 520-520 | confidence interval is an instance of binary predicate |
| (documentation confidenceInterval EnglishLanguage "(confidenceInterval ?EXPERIMENT ?CONFIDENCE) is meant to represent the confidence interval of the conclusions of ?EXPERIMENT. ?CONFIDENCE is a number which represents the percentage of the confidence interval. It represents the ProbabilityFn of the results.") | UXExperimentalTerms.kif 523-526 | confidence interval is an instance of binary predicate |
| (domain confidenceInterval 1 Experimenting) | UXExperimentalTerms.kif 528-528 | The number 1 argument of confidence interval is an instance of experimenting |
| (domain confidenceInterval 2 RealNumber) | UXExperimentalTerms.kif 529-529 | The number 2 argument of confidence interval is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage confidenceInterval "confidence interval") | UXExperimentalTerms.kif 521-521 | |
| (format EnglishLanguage confidenceInterval "%2 is the confidence in %1") | domainEnglishFormat.kif 3056-3056 | |
| (format ChineseTraditionalLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3057-3057 | |
| (format ChineseLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3058-3058 |
| antecedent |
|
|
| (=> (and (confidenceInterval ?EXP ?CONF) (instance ?EXP Experimenting) (containsFormula ?EXP ?FORM)) (represents ?CONF (ProbabilityFn ?FORM))) |
UXExperimentalTerms.kif 531-537 | If X is the confidence in Y, Y is an instance of experimenting, and Y contains the formula Z, then X expresses the probability of Z |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 | If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 549-556 | If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false |
|