| 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 | |
| (domain statisticalPopulation 2 Collection) | UXExperimentalTerms.kif 475-475 | |
| (domain statisticalPopulation 3 Experimenting) | UXExperimentalTerms.kif 476-476 | |
| (instance statisticalPopulation TernaryPredicate) | UXExperimentalTerms.kif 473-473 |
| 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 66001-66001 |
| antecedent |
|
|
| (=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE)))) |
UXExperimentalTerms.kif 501-517 | |
| (=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (subCollection ?SAMPLE_COLL ?POP_COLL)) |
UXExperimentalTerms.kif 483-489 |
| 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 |
|
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