Reinfection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Reinfection EnglishLanguage "Getting an InfectiousDisease two or more times.")	Medicine.kif 5304-5305
(instance Reinfection DiseaseOrSyndrome)	Medicine.kif 5303-5303	Reinfection is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Reinfection "reinfection")

Medicine.kif 5306-5306

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