Infecting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Infecting EnglishLanguage "The Process (from the perspective of the entity becoming ill) by which an InfectiousDisease enters an Organism and begins Replication.")	Mid-level-ontology.kif 5836-5838
(subclass Infecting TakingIll)	Mid-level-ontology.kif 5835-5835	Infecting is a subclass of taking ill

appearance as argument number 2

(subclass BreakthroughInfection Infecting)	Medicine.kif 3172-3172	Breakthrough case is a subclass of infecting
(subclass CommunitySpread Infecting)	Medicine.kif 3209-3209	Community spread is a subclass of infecting
(termFormat EnglishLanguage Infecting "infecting")	Mid-level-ontology.kif 5839-5839	Community spread is a subclass of infecting

antecedent

(=>
    (and
        (instance ?I Infecting)
        (experiencer ?I ?H))
    (exists (?T ?R ?O)
        (and
            (instance ?T Translocation)
            (moves ?T ?O)
            (instance ?O Organism)
            (instance ?R Replication)
            (experiencer ?R ?O)
            (subProcess ?T ?I)
            (subProcess ?R ?I))))

Mid-level-ontology.kif 5841-5853

consequent

(=> (and (instance ?S Sepsis) (experiencer ?S ?H)) (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (causes ?I ?S))))	Medicine.kif 5527-5535	If a process is an instance of septic shock and an agent experiences the process, then there exists another process such that the other process is an instance of infecting and the agent experiences the other process and the other process causes the process
(=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VACI (not (exists (?I ?VIRI) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI))))))	WMD.kif 1089-1103	If a kind of vaccine is a vaccine for a kind of virus and a transfer is an instance of vaccination and an agent experiences the transfer and a kind of vaccineI is an instance of the kind of vaccine and the object transferred in the transfer is the kind of vaccineI, then the kind of vaccineI has the purpose there don't exist an entity and a kind of virusI such that the entity is an instance of infecting and the agent experiences the entity and the kind of virusI is an instance of the kind of virus and the object transferred in the entity is the kind of virusI