vaccine |
appearance as argument number 1 |
(domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 | Le nombre 1 argument de vaccine est une sous-classe de Vaccine |
(domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | Le nombre 2 argument de vaccine est une sous-classe de virus |
(instance vaccine BinaryPredicate) | WMD.kif 1083-1083 | vaccine est une instance de pr�dicat binaire |
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 |
|