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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - tTest
tTest

appearance as argument number 1
-------------------------


(documentation tTest EnglishLanguage "A t-Test is a way testing a hypothesis on the basis of a difference between sample means. Here (tTest ?COLL1 ?COLL2 ?PROB) means that ?PROB is the probability that ?COLL1 and ?COLL2 are samples of the same statisticalPopulation. This is meant to be used when ?COLL1 and ?COLL2 are two different statisticalPopulations.") UXExperimentalTerms.kif 739-742
(domain tTest 1 Collection) UXExperimentalTerms.kif 745-745
(domain tTest 2 Collection) UXExperimentalTerms.kif 747-747
(domain tTest 3 RealNumber) UXExperimentalTerms.kif 749-749
(instance tTest TernaryPredicate) UXExperimentalTerms.kif 735-735

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


(format ChineseLanguage tTest "%1 和 %2 是在同一部分 statistical population 的机率 是 %3") domainEnglishFormat.kif 4843-4843
(format ChineseTraditionalLanguage tTest " %1 和 %2 是在同一部分 statistical population 的機率 是 %3 ") domainEnglishFormat.kif 4842-4842
(format EnglishLanguage tTest "the probability that %1 and %2 are part of the same statistical population is %3") domainEnglishFormat.kif 4841-4841
(termFormat EnglishLanguage tTest "t test result") UXExperimentalTerms.kif 737-737

antecedent
-------------------------


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


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