TreeView Knowledge Base Browser - 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 603-606
(domain statisticalPopulation 1 Collection)	UXExperimentalTerms.kif 597-597
(domain statisticalPopulation 2 Collection)	UXExperimentalTerms.kif 599-599
(domain statisticalPopulation 3 Experimenting)	UXExperimentalTerms.kif 601-601
(instance statisticalPopulation TernaryPredicate)	UXExperimentalTerms.kif 595-595

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 65953-65953

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 629-645
(=> (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 608-614

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 751-761

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

KB Term:			Term intersection

English Word: