| Vaccination | |
| appearance as argument number 1 |
|
|
| (documentation Vaccination EnglishLanguage "Administering a Vaccine.") | WMD.kif 1062-1062 | |
| (subclass Vaccination TherapeuticProcess) | WMD.kif 1060-1060 | |
| (subclass Vaccination Translocation) | WMD.kif 1061-1061 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vaccination "vaccination") | WMD.kif 1063-1063 |
| antecedent |
|
|
| (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (exists (?VAC) (and (instance ?VAC Vaccine) (holdsDuring (ImmediateFutureFn (WhenFn ?V) (contains ?H ?VAC)))))) |
WMD.kif 1065-1075 | |
| (=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VAC (not (exists (?I) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI)))))) |
WMD.kif 1083-1097 |
|
|
|