Vaccination |
appearance as argument number 1 |
(documentation Vaccination EnglishLanguage "Administering a Vaccine.") | WMD.kif 1068-1068 | |
(subclass Vaccination TherapeuticProcess) | WMD.kif 1066-1066 | Vaccination 是 治疗过程 的 subclass |
(subclass Vaccination Translocation) | WMD.kif 1067-1067 | Vaccination 是 易位 的 subclass |
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 |