| 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 |
|
|
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