| 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 523-526 | |
| (domain confidenceInterval 1 Experimenting) | UXExperimentalTerms.kif 528-528 | |
| (domain confidenceInterval 2 RealNumber) | UXExperimentalTerms.kif 529-529 | |
| (instance confidenceInterval BinaryPredicate) | UXExperimentalTerms.kif 520-520 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3054-3054 | |
| (format ChineseTraditionalLanguage confidenceInterval "%2 是在 %1 confidence ") | domainEnglishFormat.kif 3053-3053 | |
| (format EnglishLanguage confidenceInterval "%2 is the confidence in %1") | domainEnglishFormat.kif 3052-3052 | |
| (termFormat EnglishLanguage confidenceInterval "confidence interval") | UXExperimentalTerms.kif 521-521 |
| antecedent |
|
|
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 549-556 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 531-537 |
|
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