Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   COVIDAntibody
|
|
|
| appearance as argument number 1 |
|
|
| (subclass COVIDAntibody Antibody) | Medicine.kif 2785-2785 | COVID antibody is a subclass of antibody |
| (documentation COVIDAntibody EnglishLanguage "An Antibody that the body produces to combat Covid19.") | Medicine.kif 2786-2787 | COVID antibody is a subclass of antibody |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage COVIDAntibody "COVID antibody") | Medicine.kif 2788-2788 |
| antecedent |
|
|
| (=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (part ?CA ?H)) Likely)) |
Medicine.kif 2772-2783 | If All of the following hold: (1) X is an instance of antigen COVID test (2) X is an instrument for Y (3) Y is an instance of measuring (4) Z is a patient of Y (5) W is an instance of COVID antibody (6) W is a part of Z, then the statement Z knows W is a part of Z has the modal force of likely |
| (=> (and (instance ?CA COVIDAntibody) (holdsDuring ?T (and (not (attribute ?H Covid19)) (part ?CA ?H)))) (holdsDuring (ImmediateFutureFn ?T) (modalAttribute (attribute ?H Covid19) Unlikely))) |
Medicine.kif 2790-2802 | If X is an instance of COVID antibody and Covid is not an attribute of Y and X is a part of Y holds during Z, then the statement Covid is an attribute of Y has the modal force of unlikely holds during immediately after Z |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Covid19)) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (and (instance ?CA COVIDAntibody) (part ?CA ?H))) Likely)) |
Medicine.kif 2804-2813 | If Covid is an attribute of X holds during Y, then the statement Z is an instance of COVID antibody and Z is a part of X holds during immediately after Y has the modal force of likely |
|