|
|
   COVIDAntibody
|
|
|
| appearance as argument number 1 |
|
|
| (documentation COVIDAntibody EnglishLanguage "An Antibody that the body produces to combat Covid19.") | Medicine.kif 2781-2782 | |
| (subclass COVIDAntibody Antibody) | Medicine.kif 2780-2780 | COVIDAntibody est une sous-classe de Antibody |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage COVIDAntibody "COVID antibody") | Medicine.kif 2783-2783 |
| antecedent |
|
|
| (=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (exists (?CA) (and (instance ?CA COVIDAntibody) (part ?CA ?H)))) Likely)) |
Medicine.kif 2764-2778 |
|
| (=> (and (instance ?CA COVIDAntibody) (holdsDuring ?T (and (not (attribute ?H Covid19)) (part ?CA ?H)))) (holdsDuring (ImmediateFutureFn ?T) (modalAttribute (attribute ?H Covid19) Unlikely))) |
Medicine.kif 2785-2797 |
| consequent |
|
|
| (=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (exists (?CA) (and (instance ?CA COVIDAntibody) (part ?CA ?H)))) Likely)) |
Medicine.kif 2764-2778 |
|
| (=> (holdsDuring ?T (attribute ?H Covid19)) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (and (instance ?CA COVIDAntibody) (part ?CA ?H))) Likely)) |
Medicine.kif 2799-2808 |
|
|
|