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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 599-602
(domain statisticalPopulation 1 Collection) UXExperimentalTerms.kif 593-593 The number 1 argument of statisticalPopulation is an instance of collection
(domain statisticalPopulation 2 Collection) UXExperimentalTerms.kif 595-595 The number 2 argument of statisticalPopulation is an instance of collection
(domain statisticalPopulation 3 Experimenting) UXExperimentalTerms.kif 597-597 The number 3 argument of statisticalPopulation is an instance of experimenting
(instance statisticalPopulation TernaryPredicate) UXExperimentalTerms.kif 591-591 statisticalPopulation is an instance of ternary predicate

appearance as argument number 2
-------------------------


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

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 625-641
(=>
    (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 604-610

consequent
-------------------------


(=>
    (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
    (exists (?POP1 ?POP2 ?EXPERIMENT)
        (and
            (instance ?POP_COLL1 Collection)
            (instance ?POP_COLL2 Collection)
            (statisticalPopulation ?SAMPLE_COLL1 ?POP_COLL1 ?EXPERIMENT)
            (statisticalPopulation ?SAMPLE_COLL2 ?POP_COLL2 ?EXPERIMENT)
            (equal ?PROB
                (ProbabilityFn
                    (equal ?POP1 ?POP2))))))
UXExperimentalTerms.kif 747-757


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners