Experimenting(experimenting)

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 601-601 The number 3 argument of statisticalPopulation is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4588-4588 The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4321-4321 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 4347-4347 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 4198-4198 The number 2 argument of treatedUser is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4167-4167 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