Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Covid19
Covid19(Covid)

appearance as argument number 1
-------------------------


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1219-1219 Covid is an instance of viral disease
(documentation Covid19 EnglishLanguage "An Attribute of an Organism that indicates it has the DiseaseOrSyndrome caused by the SARSCoV2 strain of Coronavirus.") VirusProteinAndCellPart.kif 1220-1221 Covid is an instance of viral disease
(diseaseIncubation Covid19
    (MeasureFn 1 DayDuration)
    (MeasureFn 14 DayDuration))		 VirusProteinAndCellPart.kif 1226-1228 Covid disease incubation 1 day duration(s) for 14 day duration(s)
(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 1229-1229 0.028 is a disease mortality of Covid
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1230-1230 A fever is a disease symptom of Covid
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1231-1231 Diarrhea is a disease symptom of Covid
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 1232-1232 Respiratory distress is a disease symptom of Covid

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Covid19 "Covid-19") VirusProteinAndCellPart.kif 1222-1222
(termFormat EnglishLanguage Covid19 "Covid19") VirusProteinAndCellPart.kif 1223-1223
(termFormat EnglishLanguage Covid19 "Covid") VirusProteinAndCellPart.kif 1224-1224
(biochemicalAgentSyndrome SARSCoV2 Covid19) VirusProteinAndCellPart.kif 1233-1233 Covid is a biochemical agent syndrome of SARS_CoV-2
(medicine Remdesivir Covid19) VirusProteinAndCellPart.kif 1257-1257 Veklury is medicine for Covid

antecedent
-------------------------


(=>
    (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
(=>
    (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
(=>
    (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

consequent
-------------------------


(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners