Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AntibodyCOVIDTest(antigen COVID test) |
| appearance as argument number 1 |
|
| (subclass AntibodyCOVIDTest MeasuringDevice) | Medicine.kif 2759-2759 | Antigen COVID test is a subclass of measuring device |
| (documentation AntibodyCOVIDTest EnglishLanguage "An antigen is the part of a pathogen that elicits an immune response. Antigen tests look for antigen proteins from the viral surface. In the case of a coronavirus, these are usually proteins from the surface spikes. SARS-CoV-2 antigens can be detected before onset of COVID-19 symptoms (as soon as SARS-CoV-2 virus particles) with more rapid test results, but with less sensitivity than PCR tests for the virus.[from Wikipedia]") | Medicine.kif 2761-2768 | Antigen COVID test is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AntibodyCOVIDTest "antibody COVID test") | Medicine.kif 2769-2769 | |
| (termFormat EnglishLanguage AntibodyCOVIDTest "antigen COVID test") | Medicine.kif 2770-2770 |
| 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 |
|