| Infecting | |
| 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 6805-6807 | |
| (subclass Infecting TakingIll) | Mid-level-ontology.kif 6804-6804 |
| appearance as argument number 2 |
|
|
| (subclass BreakthroughInfection Infecting) | Medicine.kif 3157-3157 | |
| (subclass CommunitySpread Infecting) | Medicine.kif 3194-3194 | |
| (termFormat EnglishLanguage Infecting "infecting") | Mid-level-ontology.kif 6808-6808 |
| 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 6810-6822 |
| consequent |
|
|
| (=> (and (instance ?S Sepsis) (experiencer ?S ?H)) (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (causes ?I ?S)))) |
Medicine.kif 5512-5520 | |
| (=> (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 |
|
|
|