Experimenting(試驗) |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 476-476 | 域 statisticalPopulation, 3 and 試驗 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4384-4384 | 域 successEvent, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4114-4114 | 域 treatedPage, 2 and 試驗 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4140-4140 | 域 treatedPageDefinition, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3991-3991 | 域 treatedUser, 2 and 試驗 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3960-3960 | 域 treatmentGroup, 2 and 試驗 |