Reinfection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Reinfection EnglishLanguage "Getting an InfectiousDisease two or more times.")	Medicine.kif 5313-5314
(instance Reinfection DiseaseOrSyndrome)	Medicine.kif 5312-5312	Reinfection is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Reinfection "reinfection")

Medicine.kif 5315-5315

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Reinfection))
    (and
        (holdsDuring ?T
            (and
                (instance ?D InfectiousDisease)
                (attribute ?H ?D)))
        (holdsDuring ?TEARLY
            (attribute ?H ?D))
        (earlier ?TEARLY ?T)))

Medicine.kif 5317-5327