|
|
   DeltaCovidVariant
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DeltaCovidVariant EnglishLanguage "A variant of SARSCoV2 that arose in late 2020 that has proven more contagious and possibly more virulent than the original virus to cause COVID19.") | Medicine.kif 2999-3001 | |
| (subclass DeltaCovidVariant SARSCoV2) | Medicine.kif 2996-2996 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DeltaCovidVariant "delta variant") | Medicine.kif 2997-2997 | |
| (termFormat EnglishLanguage DeltaCovidVariant "delta") | Medicine.kif 2998-2998 |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020)))) |
Medicine.kif 3003-3011 |
|
|
|