statisticalPopulation - Sigma Knowledge base Browser

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	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
(instance statisticalPopulation TernaryPredicate)	UXExperimentalTerms.kif 473-473	statistical population is an instance of ternary predicate

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

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	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
(=> (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 an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other entity_COLL

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 an entity_COLL1 and the entity_COLL2 are part of the same statistical population is a real number,
then there exist a collection, another collection and an experimenting such that the collection is an instance of collection and the other collection is an instance of collection and the entity_COLL1 is a sample of the collection for the experimenting and the entity_COLL2 is a sample of the other collection for the experimenting and the real number is equal to the probability of the collection is equal to the other collection

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

KB Term:			Term intersection

English Word: