Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BreakthroughInfection(breakthrough case) |
| appearance as argument number 1 |
|
| (subclass BreakthroughInfection Infecting) | Medicine.kif 3182-3182 | Breakthrough case is a subclass of infecting |
| (documentation BreakthroughInfection EnglishLanguage "An case of a disease Infecting someone who is already had Vaccination against the disease.") | Medicine.kif 3185-3187 | Breakthrough case is a subclass of infecting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BreakthroughInfection "breakthrough infection") | Medicine.kif 3183-3183 | |
| (termFormat EnglishLanguage BreakthroughInfection "breakthrough case") | Medicine.kif 3184-3184 |
| antecedent |
|
|
| (=> (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 |
|