ABTest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ABTest

ABTest(A/B test)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4419-4421
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4417-4417	A/B test is an instance of experiment attribute

appearance as argument number 2

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

UXExperimentalTerms.kif 4423-4423

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4432-4437	If A/B test is an attribute of an object, then there exists a process such that the process is an instance of process and the process is a process in the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4425-4430	If an experimenting the attribute A/B test, then there exists a process such that the process is an instance of process and the control in experiment the experimenting is the process

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