Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| vaccine |
| appearance as argument number 1 |
|
| (instance vaccine BinaryPredicate) | WMD.kif 1079-1079 | vaccine is an instance of binary predicate |
| (domainSubclass vaccine 1 Vaccine) | WMD.kif 1080-1080 | The number 1 argument of vaccine is a subclass of vaccine |
| (domainSubclass vaccine 2 Virus) | WMD.kif 1081-1081 | The number 2 argument of vaccine is a subclass of virus |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage vaccine "vaccine") | WMD.kif 1082-1082 | |
| (format EnglishLanguage vaccine "%1 is a vaccine for %2") | WMD.kif 1083-1083 |
| 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 1085-1099 | If X is a vaccine for Y, Z is an instance of vaccination, W experiences Z, V is an instance of X, and the object transferred in Z is V, then V has the purpose there don't exist U, T such that U is an instance of infecting, W experiences U, T is an instance of Y, and the object transferred in U is T |
| 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 3189-3204 | If X is an instance of breakthrough case, the object transferred in X is Y, Y is an instance of Z, and W experiences X, then there exists V such that V is an instance of vaccination, W experiences V, U is a vaccine for Z, T is an instance of U, the object transferred in V is T, and the time of existence of V happens earlier than the time of existence of X |
|