Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| tTest |
| appearance as argument number 1 |
|
| (instance tTest TernaryPredicate) | UXExperimentalTerms.kif 595-595 | t test result is an instance of ternary predicate |
| (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 | t test result is an instance of ternary predicate |
| (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 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage tTest "t test result") | UXExperimentalTerms.kif 596-596 | |
| (format EnglishLanguage tTest "the probability that %1 and %2 are part of the same statistical population is %3") | domainEnglishFormat.kif 4838-4838 | |
| (format ChineseTraditionalLanguage tTest " %1 和 %2 是在同一部分 statistical population 的機率 是 %3 ") | domainEnglishFormat.kif 4839-4839 | |
| (format ChineseLanguage tTest "%1 和 %2 是在同一部分 statistical population 的机率 是 %3") | domainEnglishFormat.kif 4840-4840 |
| 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 | If the probability that ?SAMPLE_COLL1 and ?SAMPLE_COLL2 are part of the same statistical population is Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) W is an instance of collection (4) ?SAMPLE_COLL1 is a sample of Z for V (5) ?SAMPLE_COLL2 is a sample of W for V (6) equal Y (7) the probability of equal Z (8) W |
|