| 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 653-656 | |
| (domain confidenceInterval 1 Experimenting) | UXExperimentalTerms.kif 658-658 | |
| (domain confidenceInterval 2 RealNumber) | UXExperimentalTerms.kif 660-660 | |
| (instance confidenceInterval BinaryPredicate) | UXExperimentalTerms.kif 649-649 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3063-3063 | |
| (format ChineseTraditionalLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3062-3062 | |
| (format EnglishLanguage confidenceInterval "%2 is the confidence in %1") | domainEnglishFormat.kif 3061-3061 | |
| (termFormat EnglishLanguage confidenceInterval "confidence interval") | UXExperimentalTerms.kif 651-651 |
| antecedent |
|
|
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT ?EXPERIMENTING) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 680-687 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT ?EXPERIMENTING) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 671-678 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT ?EXPERIMENTING) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 662-668 |
|
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