vaccine |
appearance as argument number 1 |
(domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 | Il numero 1 argomento vaccine è una sottoclasse diVaccine |
(domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | Il numero 2 argomento vaccine è una sottoclasse diVirus |
(instance vaccine BinaryPredicate) | WMD.kif 1083-1083 | vaccine è un' istanza di PredicatoBinario |
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 |
|