InfectionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InfectionFn EnglishLanguage "Denotes the InfectiousDisease caused by the given Microorganism.")	Medicine.kif 1998-1999
(domainSubclass InfectionFn 1 Microorganism)	Medicine.kif 2000-2000	InfectionFn の数値 1 引数は微生物のsubclass では %n
(range InfectionFn InfectiousDisease)	Medicine.kif 2001-2001	InfectionFn の range は InfectiousDisease のインスタンスでは %n
(subclass InfectionFn UnaryFunction)	Medicine.kif 1997-1997	InfectionFn は 1変数関数の subclass では %n

antecedent

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

Medicine.kif 2003-2005

consequent

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

Medicine.kif 2007-2009