statisticalPopulation |
appearance as argument number 1 |
(documentation statisticalPopulation EnglishLanguage "A statistical population is a set of entities concerning which statistical inferences are to be drawn. (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT) means that the Collection ?SAMPLE_COLL is meant to be a representitive sample of the population Collection ?POP_COLL in the intance of Experimenting ?EXPERIMENT.") | UXExperimentalTerms.kif 478-481 | |
(domain statisticalPopulation 1 Collection) | UXExperimentalTerms.kif 474-474 | Il numero 1 argomenti di statisticalPopulation è un istanza di InsiemeConcreto |
(domain statisticalPopulation 2 Collection) | UXExperimentalTerms.kif 475-475 | Il numero 2 argomenti di statisticalPopulation è un istanza di InsiemeConcreto |
(domain statisticalPopulation 3 Experimenting) | UXExperimentalTerms.kif 476-476 | Il numero 3 argomenti di statisticalPopulation è un istanza di Experimenting |
(instance statisticalPopulation TernaryPredicate) | UXExperimentalTerms.kif 473-473 | statisticalPopulation è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage statisticalPopulation "%1 是 %2 的 sample 对于 %3 ") | domainEnglishFormat.kif 4630-4630 | |
(format ChineseTraditionalLanguage statisticalPopulation "%1 是 %2 的 sample 對於 %3 ") | domainEnglishFormat.kif 4629-4629 | |
(format EnglishLanguage statisticalPopulation "%1 is a sample of %2 for %3") | domainEnglishFormat.kif 4628-4628 | |
(termFormat EnglishLanguage statisticalPopulation "statistical population") | domainEnglishFormat.kif 65943-65943 |
antecedent |
consequent |
(=> (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 |
|