vaccine |
appearance as argument number 1 |
(domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 | vaccine の数値 1 引数は Vaccine のsubclass では %n |
(domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | vaccine の数値 2 引数は ウイルス のsubclass では %n |
(instance vaccine BinaryPredicate) | WMD.kif 1083-1083 | vaccine は 2進述語 の instance では %n |
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 |
|