| appearance as argument number 1 |
|
| (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 655-658 | |
| (domain confidenceInterval 1 Experimenting) | UXExperimentalTerms.kif 660-660 | confidenceInterval 的 1 数量 是 试验 的 instance |
| (domain confidenceInterval 2 RealNumber) | UXExperimentalTerms.kif 662-662 | confidenceInterval 的 2 数量 是 实数 的 instance |
| (instance confidenceInterval BinaryPredicate) | UXExperimentalTerms.kif 651-651 | confidenceInterval 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3062-3062 | |
| (format ChineseTraditionalLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3061-3061 | |
| (format EnglishLanguage confidenceInterval "%2 is the confidence in %1") | domainEnglishFormat.kif 3060-3060 | |
| (termFormat EnglishLanguage confidenceInterval "confidence interval") | UXExperimentalTerms.kif 653-653 |
| antecedent |
|
|
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 682-689 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 673-680 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 664-670 |
|
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 3.0 is open source software produced by Articulate Software and its partners