Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ConsecutiveTimeIntervalList
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DeltaCovidVariant SARSCoV2) | Medicine.kif 3002-3002 | Delta is a subclass of SARS_CoV-2 |
| (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 3005-3007 | Delta is a subclass of SARS_CoV-2 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DeltaCovidVariant "delta variant") | Medicine.kif 3003-3003 | |
| (termFormat EnglishLanguage DeltaCovidVariant "delta") | Medicine.kif 3004-3004 |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020)))) |
Medicine.kif 3009-3017 | If X is an instance of delta, X is a part of Y, and Covid is an attribute of Y holds during Z, then Z is greater than the month December |
|