TreeView Knowledge Base Browser - statisticalPopulation

appearance as argument number 1

(instance statisticalPopulation TernaryPredicate)	UXExperimentalTerms.kif 473-473	statistical population is an instance of ternary predicate
(domain statisticalPopulation 1 Collection)	UXExperimentalTerms.kif 474-474	The number 1 argument of statistical population is an instance of collection
(domain statisticalPopulation 2 Collection)	UXExperimentalTerms.kif 475-475	The number 2 argument of statistical population is an instance of collection
(domain statisticalPopulation 3 Experimenting)	UXExperimentalTerms.kif 476-476	The number 3 argument of statistical population is an instance of experimenting
(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	The number 3 argument of statistical population is an instance of experimenting

appearance as argument number 2

(format EnglishLanguage statisticalPopulation "%1 is a sample of %2 for %3")	domainEnglishFormat.kif 4632-4632
(format ChineseTraditionalLanguage statisticalPopulation "%1 是 %2 的 sample 對於 %3 ")	domainEnglishFormat.kif 4633-4633
(format ChineseLanguage statisticalPopulation "%1 是 %2 的 sample 对于 %3 ")	domainEnglishFormat.kif 4634-4634
(termFormat EnglishLanguage statisticalPopulation "statistical population")	domainEnglishFormat.kif 65977-65977

antecedent

(=> (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	If ?SAMPLE_COLL is an instance of collection, ?POP_COLL is an instance of collection, Z is an instance of experimenting, and ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then ?SAMPLE_COLL is a proper sub-collection of ?POP_COLL
(=> (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	If All of the following hold: (1) ?SAMPLE_COLL is an instance of collection (2) ?POP_COLL is an instance of collection (3) Z is an instance of experimenting (4) W is an instance of cognitive agent (5) W is an agent of Z (6) ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then For all Attribute V: if ?SAMPLE_COLL the attribute V, W is interested in V, and equal V and representative sample, then ?POP_COLL the attribute V

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

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: