burnInPeriod |
appearance as argument number 1 |
(documentation burnInPeriod EnglishLanguage "(burnInPeriod ?EXPERIMENT ?INTERVAL) means that the TimeInterval ?INTERVAL, which occurs at the begining of the Experimenting ?EXPERIMENT, is a period not counted when the data are being analyzed.") | UXExperimentalTerms.kif 4307-4309 | |
(domain burnInPeriod 1 Experimenting) | UXExperimentalTerms.kif 4301-4301 | burnInPeriod の数値 1 引数は Experimenting の instance では %n |
(domain burnInPeriod 2 TimeInterval) | UXExperimentalTerms.kif 4303-4303 | burnInPeriod の数値 2 引数は 時間間隔 の instance では %n |
(instance burnInPeriod BinaryPredicate) | UXExperimentalTerms.kif 4299-4299 | burnInPeriod は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage burnInPeriod "%1 藉由 %2 去 burn ") | domainEnglishFormat.kif 2934-2934 | |
(format ChineseTraditionalLanguage burnInPeriod "%1 藉由 %2 去 burn ") | domainEnglishFormat.kif 2933-2933 | |
(format EnglishLanguage burnInPeriod "%1 takes %2 to burn in") | domainEnglishFormat.kif 2932-2932 | |
(termFormat EnglishLanguage burnInPeriod "burn-in period") | UXExperimentalTerms.kif 4305-4305 |
antecedent |
(=> (burnInPeriod ?EXP ?INTERVAL) (before (EndFn ?INTERVAL) (EndFn (WhenFn ?EXP)))) |
UXExperimentalTerms.kif 4317-4321 |
|
(=> (burnInPeriod ?EXP ?INTERVAL) (equal (BeginFn (WhenFn ?EXP)) (BeginFn ?INTERVAL))) |
UXExperimentalTerms.kif 4311-4315 |
|