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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fever
Fever

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 5837-5839
(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 5836-5836

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


(biochemicalAgentSyndrome SalmonellaTyphimurium Fever) WMD.kif 995-995
(biochemicalAgentSyndrome StaphyylococcusAureus Fever) WMD.kif 1422-1422
(biochemicalAgentSyndrome YellowFeverVirus Fever) WMD.kif 1166-1166
(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1923-1923
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1935-1935
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1955-1955
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 731-731
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1903-1903
(diseaseSymptom Diphtheria Fever) WMD.kif 1895-1895
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1689-1689
(diseaseSymptom Glanders Fever) WMD.kif 365-365
(diseaseSymptom HepatitisA Fever) WMD.kif 1779-1779
(diseaseSymptom Influenza Fever) WMD.kif 1440-1440
(diseaseSymptom LassaFever Fever) WMD.kif 1856-1856
(diseaseSymptom Malaria Fever) WMD.kif 1600-1600
(diseaseSymptom Plague Fever) WMD.kif 413-413
(diseaseSymptom QFever Fever) WMD.kif 1155-1155
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1415-1415
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1814-1814
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1674-1674
(diseaseSymptom Tularemia Fever) WMD.kif 1207-1207
(diseaseSymptom TyphoidFever Fever) WMD.kif 1349-1349
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1402-1402
(diseaseSymptom VenezuelanHemorrhagicFever Fever) WMD.kif 1945-1945

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 5841-5849
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1104-1111


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