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 tTest の数値 1 引数は コレクションinstance では %n
(domain tTest 2 Collection) UXExperimentalTerms.kif 604-604 tTest の数値 2 引数は コレクションinstance では %n
(domain tTest 3 RealNumber) UXExperimentalTerms.kif 605-605 tTest の数値 3 引数は 実数instance では %n
(instance tTest TernaryPredicate) UXExperimentalTerms.kif 595-595 tTest3進述語instance では %n

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