TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Infecting TakingIll)	Mid-level-ontology.kif 6960-6960	Infecting is a subclass of taking ill
(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 6961-6963	Infecting is a subclass of taking ill

appearance as argument number 2

(termFormat EnglishLanguage Infecting "infecting")	Mid-level-ontology.kif 6964-6964
(subclass BreakthroughInfection Infecting)	Medicine.kif 3182-3182	Breakthrough case is a subclass of infecting
(subclass CommunitySpread Infecting)	Medicine.kif 3219-3219	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))))

If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X

consequent

(=> (and (instance ?S Sepsis) (experiencer ?S ?H)) (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (causes ?I ?S))))	Medicine.kif 5549-5557	If X is an instance of septic shock and Y experiences X, then there exists Z such that Z is an instance of infecting, Y experiences Z, and Z causes X
(=> (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 1085-1099	If X is a vaccine for Y, Z is an instance of vaccination, W experiences Z, V is an instance of X, and the object transferred in Z is V, then V has the purpose there don't exist U, T such that U is an instance of infecting, W experiences U, T is an instance of Y, and the object transferred in U is T