Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fever
Fever(fever)
febricity, febrility, fever, feverishness, hyperpyrexia, pyrexia

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


s__documentation(s__Fever,s__EnglishLanguage,'"Having a body temperature which is (significantly) greater than 98.6 degrees Fahrenheit. This syndrome is often associated with dehydration and chills."')

Mid-level-ontology.kif 5732-5734
s__externalImage(s__Fever,'"http://upload.wikimedia.org/wikipedia/commons/9/93/ Clinical_thermometer_38.7.JPG"')

pictureList.kif 6010-6010
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__Fever,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5731-5731 Fever is an instance of disease or syndrome

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


s__biochemicalAgentSyndrome(s__SalmonellaTyphimurium,s__Fever)

WMD.kif 990-990 Fever is a biochemical agent syndrome of salmonella typhimurium
s__biochemicalAgentSyndrome(s__StaphyylococcusAureus,s__Fever)

WMD.kif 1401-1401 Fever is a biochemical agent syndrome of staphyylococcus aureus
s__biochemicalAgentSyndrome(s__YellowFeverVirus,s__Fever)

WMD.kif 1160-1160 Fever is a biochemical agent syndrome of yellow fever virus
s__diseaseSymptom(s__ArgentinianHemorrhagicFever,s__Fever)

WMD.kif 1871-1871 Fever is a disease symptom of argentinian hemorrhagic fever
s__diseaseSymptom(s__BolivianHemorrhagicFever,s__Fever)

WMD.kif 1883-1883 Fever is a disease symptom of bolivian hemorrhagic fever
s__diseaseSymptom(s__BrazilianHemorrhagicFever,s__Fever)

WMD.kif 1903-1903 Fever is a disease symptom of brazilian hemorrhagic fever
s__diseaseSymptom(s__Brucellosis,s__Fever)

WMD.kif 394-394 Fever is a disease symptom of brucellosis
s__diseaseSymptom(s__Covid19,s__Fever)

VirusProteinAndCellPart.kif 662-662 Fever is a disease symptom of Covid
s__diseaseSymptom(s__CrimeanCongoHemorrhagicFever,s__Fever)

WMD.kif 1851-1851 Fever is a disease symptom of crimean congo hemorrhagic fever
s__diseaseSymptom(s__Diphtheria,s__Fever)

WMD.kif 1843-1843 Fever is a disease symptom of diphtheria
s__diseaseSymptom(s__EasternEquineEncephalitis,s__Fever)

WMD.kif 1637-1637 Fever is a disease symptom of eastern equine encephalitis
s__diseaseSymptom(s__Glanders,s__Fever)

WMD.kif 365-365 Fever is a disease symptom of glanders
s__diseaseSymptom(s__HepatitisA,s__Fever)

WMD.kif 1727-1727 Fever is a disease symptom of hepatitis a
s__diseaseSymptom(s__Influenza,s__Fever)

WMD.kif 1419-1419 Fever is a disease symptom of influenza
s__diseaseSymptom(s__LassaFever,s__Fever)

WMD.kif 1804-1804 Fever is a disease symptom of lassa fever
s__diseaseSymptom(s__Malaria,s__Fever)

WMD.kif 1547-1547 Fever is a disease symptom of malaria
s__diseaseSymptom(s__Plague,s__Fever)

WMD.kif 408-408 Fever is a disease symptom of plague
s__diseaseSymptom(s__QFever,s__Fever)

WMD.kif 1149-1149 Fever is a disease symptom of Q fever
s__diseaseSymptom(s__RiftValleyFever,s__Fever)

WMD.kif 1394-1394 Fever is a disease symptom of rift valley fever
s__diseaseSymptom(s__RotavirusGastroenteritis,s__Fever)

WMD.kif 1762-1762 Fever is a disease symptom of rotavirus gastroenteritis
s__diseaseSymptom(s__SaintLouisEncephalitis,s__Fever)

WMD.kif 1622-1622 Fever is a disease symptom of saint louis encephalitis
s__diseaseSymptom(s__Tularemia,s__Fever)

WMD.kif 1201-1201 Fever is a disease symptom of tularemia
s__diseaseSymptom(s__TyphoidFever,s__Fever)

WMD.kif 1343-1343 Fever is a disease symptom of typhoid fever
s__diseaseSymptom(s__VenezuelanEquineEncephalitis,s__Fever)

WMD.kif 1381-1381 Fever is a disease symptom of venezuelan equine encephalitis
s__diseaseSymptom(s__VenezuelanHemorrhagicFever,s__Fever)

WMD.kif 1893-1893 Fever is a disease symptom of venezuelan hemorrhagic fever

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__H] :
   (((s__instance(V__H,s__Human) &
         s__attribute(V__H,s__Fever))
       =>
       (( ? [V__N] :
           ((s__instance(V__N,s__RealNumber) &
               (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree))
               &
               s__greaterThan(V__N,n__98_6)))))))
)
)

Mid-level-ontology.kif 5736-5744
( ! [V__ORGANISM] :
   (((s__instance(V__ORGANISM,s__Human) &
         s__attribute(V__ORGANISM,s__Fever))
       =>
       (( ? [V__NUMBER] :
           ((s__instance(V__NUMBER,s__RealNumber) &
               (s__measure(V__ORGANISM,s__MeasureFn(V__NUMBER,s__FahrenheitDegree))
               &
               s__greaterThan(V__NUMBER,n__98_6)))))))
)
)

WMD.kif 1098-1105


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 is open source software produced by Articulate Software and its partners