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

Formal Language: 



KB Term:  Term intersection
English Word: 

  tTest

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 598-601
(domain tTest 1 Collection) UXExperimentalTerms.kif 603-603 The number 1 argument of t test result is an instance of collection
(domain tTest 2 Collection) UXExperimentalTerms.kif 604-604 The number 2 argument of t test result is an instance of collection
(domain tTest 3 RealNumber) UXExperimentalTerms.kif 605-605 The number 3 argument of t test result is an instance of real number
(instance tTest TernaryPredicate) UXExperimentalTerms.kif 595-595 t test result is an instance of ternary predicate

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


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

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


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