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 6391-6393
(subclass Infecting TakingIll)	Mid-level-ontology.kif 6390-6390	Infecting is a subclass of taking ill

appearance as argument number 2

(subclass BreakthroughInfection Infecting)	Medicine.kif 3160-3160	Breakthrough case is a subclass of infecting
(subclass CommunitySpread Infecting)	Medicine.kif 3197-3197	Community spread is a subclass of infecting
(termFormat EnglishLanguage Infecting "infecting")	Mid-level-ontology.kif 6394-6394	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 6396-6408

consequent

(=> (and (instance ?S Sepsis) (experiencer ?S ?H)) (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (causes ?I ?S))))	Medicine.kif 5515-5523	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