Vaccination
|
|
appearance as argument number 1 |
(documentation Vaccination EnglishLanguage "Administering a Vaccine.") | WMD.kif 1068-1068 | |
(subclass Vaccination TherapeuticProcess) | WMD.kif 1066-1066 | Vaccination è una sottoclasse di ProcessoTerapeutico |
(subclass Vaccination Translocation) | WMD.kif 1067-1067 | Vaccination è una sottoclasse di 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 |