| appearance as argument number 1 |
|
| (documentation tTest EnglishLanguage "A t-Test is a way testing a hypothesis on the basis of a difference between sample means. Here (tTest ?COLL1 ?COLL2 ?PROB) means that ?PROB is the probability that ?COLL1 and ?COLL2 are samples of the same statisticalPopulation. This is meant to be used when ?COLL1 and ?COLL2 are two different statisticalPopulations.") | UXExperimentalTerms.kif 598-601 | |
| (domain tTest 1 Collection) | UXExperimentalTerms.kif 603-603 | The number 1 argument of t test result is an instance of collection |
| (domain tTest 2 Collection) | UXExperimentalTerms.kif 604-604 | The number 2 argument of t test result is an instance of collection |
| (domain tTest 3 RealNumber) | UXExperimentalTerms.kif 605-605 | The number 3 argument of t test result is an instance of real number |
| (instance tTest TernaryPredicate) | UXExperimentalTerms.kif 595-595 | t test result is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage tTest "%1 和 %2 是在同一部分 statistical population 的机率 是 %3") | domainEnglishFormat.kif 4836-4836 | |
| (format ChineseTraditionalLanguage tTest " %1 和 %2 是在同一部分 statistical population 的機率 是 %3 ") | domainEnglishFormat.kif 4835-4835 | |
| (format EnglishLanguage tTest "the probability that %1 and %2 are part of the same statistical population is %3") | domainEnglishFormat.kif 4834-4834 | |
| (termFormat EnglishLanguage tTest "t test result") | UXExperimentalTerms.kif 596-596 |
| antecedent |
|
|
| (=> (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB) (exists (?POP1 ?POP2 ?EXPERIMENT) (and (instance ?POP1 Collection) (instance ?POP2 Collection) (statisticalPopulation ?SAMPLE_COLL1 ?POP1 ?EXPERIMENT) (statisticalPopulation ?SAMPLE_COLL2 ?POP2 ?EXPERIMENT) (equal ?PROB (ProbabilityFn (equal ?POP1 ?POP2)))))) |
UXExperimentalTerms.kif 607-617 |
|
|
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