vaccine |
appearance as argument number 1 |
![]() |
(domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 | Die Zahl 1 Argument von vaccine ist eine teilkategorie von Vaccine %n{nicht} |
(domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | Die Zahl 2 Argument von vaccine ist eine teilkategorie von Virus %n{nicht} |
(instance vaccine BinaryPredicate) | WMD.kif 1083-1083 | vaccine ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
![]() |
(format EnglishLanguage vaccine "%1 is a vaccine for %2") | WMD.kif 1087-1087 | |
(termFormat EnglishLanguage vaccine "vaccine") | WMD.kif 1086-1086 |
antecedent |
![]() |
(=> (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 |
|
![]() |
![]() |