Vaccination
|
|
appearance as argument number 1 |
(documentation Vaccination EnglishLanguage "Administering a Vaccine.") | WMD.kif 1068-1068 | |
(subclass Vaccination TherapeuticProcess) | WMD.kif 1066-1066 | Vaccination est une sous-classe de processus therapeutique |
(subclass Vaccination Translocation) | WMD.kif 1067-1067 | Vaccination est une sous-classe de Translocation |
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 |