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 5836-5838 | |
(subclass Infecting TakingIll) | Mid-level-ontology.kif 5835-5835 | Infecting est une sous-classe de TakingIll |
appearance as argument number 2 |
(subclass BreakthroughInfection Infecting) | Medicine.kif 3172-3172 | BreakthroughInfection est une sous-classe de Infecting |
(subclass CommunitySpread Infecting) | Medicine.kif 3209-3209 | CommunitySpread est une sous-classe de Infecting |
(termFormat EnglishLanguage Infecting "infecting") | Mid-level-ontology.kif 5839-5839 |
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 | |
(=> (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 |
|