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


(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 5441-5443
(externalImage Fever "http://upload.wikimedia.org/wikipedia/commons/9/93/ Clinical_thermometer_38.7.JPG") pictureList.kif 6010-6010
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5440-5440 Fever is an instance of disease or syndrome

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


(biochemicalAgentSyndrome SalmonellaTyphimurium Fever) WMD.kif 990-990 Fever is a biochemical agent syndrome of salmonella typhimurium
(biochemicalAgentSyndrome StaphyylococcusAureus Fever) WMD.kif 1367-1367 Fever is a biochemical agent syndrome of staphyylococcus aureus
(biochemicalAgentSyndrome YellowFeverVirus Fever) WMD.kif 1126-1126 Fever is a biochemical agent syndrome of yellow fever virus
(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1831-1831 Fever is a disease symptom of argentinian hemorrhagic fever
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1843-1843 Fever is a disease symptom of bolivian hemorrhagic fever
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1863-1863 Fever is a disease symptom of brazilian hemorrhagic fever
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394 Fever is a disease symptom of brucellosis
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 660-660 Fever is a disease symptom of Covid-19
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1811-1811 Fever is a disease symptom of crimean congo hemorrhagic fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1803-1803 Fever is a disease symptom of diphtheria
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1597-1597 Fever is a disease symptom of eastern equine encephalitis
(diseaseSymptom Glanders Fever) WMD.kif 365-365 Fever is a disease symptom of glanders
(diseaseSymptom HepatitisA Fever) WMD.kif 1687-1687 Fever is a disease symptom of hepatitis a
(diseaseSymptom Influenza Fever) WMD.kif 1385-1385 Fever is a disease symptom of influenza
(diseaseSymptom LassaFever Fever) WMD.kif 1764-1764 Fever is a disease symptom of lassa fever
(diseaseSymptom Malaria Fever) WMD.kif 1507-1507 Fever is a disease symptom of malaria
(diseaseSymptom Plague Fever) WMD.kif 408-408 Fever is a disease symptom of plague
(diseaseSymptom QFever Fever) WMD.kif 1115-1115 Fever is a disease symptom of Q fever
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1360-1360 Fever is a disease symptom of rift valley fever
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1722-1722 Fever is a disease symptom of rotavirus gastroenteritis
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1582-1582 Fever is a disease symptom of saint louis encephalitis
(diseaseSymptom Tularemia Fever) WMD.kif 1167-1167 Fever is a disease symptom of tularemia
(diseaseSymptom TyphoidFever Fever) WMD.kif 1309-1309 Fever is a disease symptom of typhoid fever
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1347-1347 Fever is a disease symptom of venezuelan equine encephalitis
(diseaseSymptom VenezuelanHemorrhagicFever Fever) WMD.kif 1853-1853 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 5445-5453
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1048-1055


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