Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  statisticalPopulation

Sigma KEE - statisticalPopulation
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 478-481
(domain statisticalPopulation 1 Collection) UXExperimentalTerms.kif 474-474 Le nombre 1 argument de statisticalPopulation est une instance de collection
(domain statisticalPopulation 2 Collection) UXExperimentalTerms.kif 475-475 Le nombre 2 argument de statisticalPopulation est une instance de collection
(domain statisticalPopulation 3 Experimenting) UXExperimentalTerms.kif 476-476 Le nombre 3 argument de statisticalPopulation est une instance de Experimenting
(instance statisticalPopulation TernaryPredicate) UXExperimentalTerms.kif 473-473 statisticalPopulation est une instance de pr�dicat ternaire

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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