| 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 | The number 1 argument of confidence interval is an instance of experimenting |
| (domain confidenceInterval 2 RealNumber) | UXExperimentalTerms.kif 660-660 | The number 2 argument of confidence interval is an instance of real number |
| (instance confidenceInterval BinaryPredicate) | UXExperimentalTerms.kif 649-649 | confidence interval is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage confidenceInterval "%2 is the confidence in %1") | domainEnglishFormat.kif 775-775 | |
| (termFormat EnglishLanguage confidenceInterval "confidence interval") | UXExperimentalTerms.kif 651-651 | "confidence interval" is the printable form of confidence interval in english language |
| 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