Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  burnInPeriod

Sigma KEE - burnInPeriod
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 4502-4504
(domain burnInPeriod 1 Experimenting) UXExperimentalTerms.kif 4496-4496
(domain burnInPeriod 2 TimeInterval) UXExperimentalTerms.kif 4498-4498
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4494-4494

appearance as argument number 2
-------------------------


(format EnglishLanguage burnInPeriod "%1 takes %2 to burn in") domainEnglishFormat.kif 742-742
(termFormat EnglishLanguage burnInPeriod "burn-in period") UXExperimentalTerms.kif 4500-4500

antecedent
-------------------------


(=>
    (burnInPeriod ?EXP ?INTERVAL)
    (before
        (EndFn ?INTERVAL)
        (EndFn
            (WhenFn ?EXP))))
UXExperimentalTerms.kif 4512-4516
(=>
    (burnInPeriod ?EXP ?INTERVAL)
    (equal
        (BeginFn
            (WhenFn ?EXP))
        (BeginFn ?INTERVAL)))
UXExperimentalTerms.kif 4506-4510


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners