Reinfection - Sigma Knowledge base Browser

appearance as argument number 1

(instance Reinfection DiseaseOrSyndrome)	Medicine.kif 5325-5325	Reinfection is an instance of disease or syndrome
(documentation Reinfection EnglishLanguage "Getting an InfectiousDisease two or more times.")	Medicine.kif 5326-5327	Reinfection is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Reinfection "reinfection")

antecedent

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

If reinfection is an attribute of X holds during Y, then Z is an instance of infectious disease and Z is an attribute of X holds during Y, Z is an attribute of X holds during W, and W happens earlier than Y