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 598-601
(domain tTest 1 Collection) UXExperimentalTerms.kif 603-603 Il numero 1 argomenti di tTest è un istanza di InsiemeConcreto
(domain tTest 2 Collection) UXExperimentalTerms.kif 604-604 Il numero 2 argomenti di tTest è un istanza di InsiemeConcreto
(domain tTest 3 RealNumber) UXExperimentalTerms.kif 605-605 Il numero 3 argomenti di tTest è un istanza di NumeroReale
(instance tTest TernaryPredicate) UXExperimentalTerms.kif 595-595 tTest è un' istanza di PredicatoTernario

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