|
|
   Vaccination
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Vaccination EnglishLanguage "Administering a Vaccine.") | WMD.kif 1068-1068 | |
| (subclass Vaccination TherapeuticProcess) | WMD.kif 1066-1066 | |
| (subclass Vaccination Translocation) | WMD.kif 1067-1067 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vaccination "vaccination") | WMD.kif 1069-1069 |
| antecedent |
|
|
| (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (exists (?VAC) (and (instance ?VAC Vaccine) (holdsDuring (ImmediateFutureFn (WhenFn ?V) (contains ?H ?VAC)))))) |
WMD.kif 1071-1081 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?BI BreakthroughInfection) (objectTransferred ?BI ?V) (instance ?V ?VC) (experiencer ?BI ?H)) (exists (?VAX) (and (instance ?VAX Vaccination) (experiencer ?VAX ?H) (vaccine ?VACCINECLASS ?VC) (instance ?VACCINE ?VACCINECLASS) (objectTransferred ?VAX ?VACCINE) (earlier (WhenFn ?VAX) (WhenFn ?BI))))) |
Medicine.kif 3179-3194 | |
| (=> (holdsDuring ?T (attribute ?H Antivaxxer)) (believes ?H (exists (?V ?D) (and (instance ?V Vaccination) (instance ?D Damaging) (causes ?V ?D))))) |
Medicine.kif 3821-3829 | |
| (=> (instance ?VC VaccinationCard) (exists (?V) (and (instance ?V Vaccination) (refers ?VC ?V)))) |
Medicine.kif 3109-3114 | |
| (=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3061-3068 |
|
|
|