TreeView Knowledge Base Browser - tTest

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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 598-601
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 603-603	The number 1 argument of t test result is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 604-604	The number 2 argument of t test result is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 605-605	The number 3 argument of t test result is an instance of real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 595-595	t test result is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4834-4834
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4833-4833
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4832-4832
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 596-596

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 607-617

If the probability that an entity_COLL1 and the entity_COLL2 are part of the same statistical population is a real number,
then there exist a collection, another collection and an experimenting such that the collection is an instance of collection and the other collection is an instance of collection and the entity_COLL1 is a sample of the collection for the experimenting and the entity_COLL2 is a sample of the other collection for the experimenting and the real number is equal to the probability of the collection is equal to the other collection

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