InfectionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InfectionFn EnglishLanguage "Denotes the InfectiousDisease caused by the given Microorganism.")	Medicine.kif 1986-1987
(domainSubclass InfectionFn 1 Microorganism)	Medicine.kif 1988-1988	The number 1 argument of InfectionFn is a subclass of microorganism
(range InfectionFn InfectiousDisease)	Medicine.kif 1989-1989	The range of InfectionFn is an instance of infectious disease
(subclass InfectionFn UnaryFunction)	Medicine.kif 1985-1985	InfectionFn is a subclass of unary function

antecedent

(=>
    (equal ?ID
        (InfectionFn ?M))
    (biologicalAgentCarrier ?ID ?M))

Medicine.kif 1991-1993

consequent

(=>
    (biologicalAgentCarrier ?ID ?M)
    (equal ?ID
        (InfectionFn ?M)))

Medicine.kif 1995-1997