vaccine |
appearance as argument number 1 |
(domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 | O argumento numero 1 de vaccine e' uma sub-classe de Vaccine |
(domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | O argumento numero 2 de vaccine e' uma sub-classe de Virus |
(instance vaccine BinaryPredicate) | WMD.kif 1083-1083 | vaccine e' uma instancia de Predicado Binario |
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 |
|