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 5842-5844 | |
(subclass Infecting TakingIll) | Mid-level-ontology.kif 5841-5841 | Infecting は TakingIll の subclass では %n |
appearance as argument number 2 |
(subclass BreakthroughInfection Infecting) | Medicine.kif 3172-3172 | BreakthroughInfection は Infecting の subclass では %n |
(subclass CommunitySpread Infecting) | Medicine.kif 3209-3209 | CommunitySpread は Infecting の subclass では %n |
(termFormat EnglishLanguage Infecting "infecting") | Mid-level-ontology.kif 5845-5845 |
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 5847-5859 |
|
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 |
|