Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - statisticalPopulation
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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners