Experimenting(experimenting)

-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 476-476 The number 3 argument of statistical population is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4384-4384 The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4114-4114 The number 2 argument of treated page is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4140-4140 The number 1 argument of treated page definition is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3991-3991 The number 2 argument of treated user is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3960-3960 The number 2 argument of treatment group is an instance of experimenting


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