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

KB Term:  Term intersection
English Word: 

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

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


(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 7275-7275 A fever is an instance of disease or syndrome
(documentation Fever 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 7276-7278 A fever is an instance of disease or syndrome
(externalImage Fever "http://upload.wikimedia.org/wikipedia/commons/9/93/ Clinical_thermometer_38.7.JPG") pictureList.kif 6008-6008 A fever is an instance of disease or syndrome

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


(sideEffect Upadacitinib Fever) Medicine.kif 5571-5571 A fever is a side effect of taking upadacitinib
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1230-1230 A fever is a disease symptom of Covid
(diseaseSymptom Glanders Fever) WMD.kif 360-360 A fever is a disease symptom of glanders
(diseaseSymptom Brucellosis Fever) WMD.kif 389-389 A fever is a disease symptom of brucellosis
(diseaseSymptom Plague Fever) WMD.kif 408-408 A fever is a disease symptom of plague
(biochemicalAgentSyndrome SalmonellaTyphimurium Fever) WMD.kif 998-998 A fever is a biochemical agent syndrome of salmonella typhimurium
(diseaseSymptom QFever Fever) WMD.kif 1159-1159 A fever is a disease symptom of Q fever
(biochemicalAgentSyndrome YellowFeverVirus Fever) WMD.kif 1170-1170 A fever is a biochemical agent syndrome of yellow fever virus
(diseaseSymptom Tularemia Fever) WMD.kif 1211-1211 A fever is a disease symptom of tularemia
(diseaseSymptom TyphoidFever Fever) WMD.kif 1354-1354 A fever is a disease symptom of typhoid fever
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1407-1407 A fever is a disease symptom of venezuelan equine encephalitis
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1420-1420 A fever is a disease symptom of rift valley fever
(biochemicalAgentSyndrome StaphylococcusAureus Fever) WMD.kif 1427-1427 A fever is a biochemical agent syndrome of staphylococcus aureus
(diseaseSymptom Influenza Fever) WMD.kif 1445-1445 A fever is a disease symptom of influenza
(diseaseSymptom Malaria Fever) WMD.kif 1605-1605 A fever is a disease symptom of malaria
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1679-1679 A fever is a disease symptom of saint louis encephalitis
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1694-1694 A fever is a disease symptom of eastern equine encephalitis
(diseaseSymptom HepatitisA Fever) WMD.kif 1784-1784 A fever is a disease symptom of A
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1819-1819 A fever is a disease symptom of rotavirus gastroenteritis
(diseaseSymptom LassaFever Fever) WMD.kif 1861-1861 A fever is a disease symptom of lassa fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1900-1900 A fever is a disease symptom of diphtheria
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1908-1908 A fever is a disease symptom of crimean congo hemorrhagic fever
(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1928-1928 A fever is a disease symptom of argentinian hemorrhagic fever
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1940-1940 A fever is a disease symptom of bolivian hemorrhagic fever
(diseaseSymptom VenezuelanHemorrhagicFever Fever) WMD.kif 1950-1950 A 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
-------------------------


(=>
    (and
        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))		 Mid-level-ontology.kif 7280-7288 If X is an instance of human and a fever is an attribute of X, then there exists Y such that the measure of X is Y fahrenheit degree(s) and Y is greater than 98.6
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))		 WMD.kif 1106-1113 If X is an instance of human and a fever is an attribute of X, then there exists Y such that the measure of X is Y fahrenheit degree(s) and Y is greater than 98.6


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