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 6157-6159
(externalImage Fever "http://upload.wikimedia.org/wikipedia/commons/9/93/ Clinical_thermometer_38.7.JPG") pictureList.kif 6009-6009
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6156-6156 Fever病気または症候群instance では %n

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


(biochemicalAgentSyndrome SalmonellaTyphimurium Fever) WMD.kif 1002-1002 biochemicalAgentSyndrome SalmonellaTyphimurium and Fever
(biochemicalAgentSyndrome StaphylococcusAureus Fever) WMD.kif 1431-1431 biochemicalAgentSyndrome StaphylococcusAureus and Fever
(biochemicalAgentSyndrome YellowFeverVirus Fever) WMD.kif 1174-1174 biochemicalAgentSyndrome YellowFeverVirus and Fever
(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1932-1932 diseaseSymptom ArgentinianHemorrhagicFever and Fever
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1944-1944 diseaseSymptom BolivianHemorrhagicFever and Fever
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1964-1964 diseaseSymptom BrazilianHemorrhagicFever and Fever
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394 diseaseSymptom Brucellosis and Fever
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1244-1244 diseaseSymptom Covid19 and Fever
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1912-1912 diseaseSymptom CrimeanCongoHemorrhagicFever and Fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1904-1904 diseaseSymptom Diphtheria and Fever
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1698-1698 diseaseSymptom EasternEquineEncephalitis and Fever
(diseaseSymptom Glanders Fever) WMD.kif 365-365 diseaseSymptom Glanders and Fever
(diseaseSymptom HepatitisA Fever) WMD.kif 1788-1788 diseaseSymptom HepatitisA and Fever
(diseaseSymptom Influenza Fever) WMD.kif 1449-1449 diseaseSymptom Influenza and Fever
(diseaseSymptom LassaFever Fever) WMD.kif 1865-1865 diseaseSymptom LassaFever and Fever
(diseaseSymptom Malaria Fever) WMD.kif 1609-1609 diseaseSymptom Malaria and Fever
(diseaseSymptom Plague Fever) WMD.kif 413-413 diseaseSymptom Plague and Fever
(diseaseSymptom QFever Fever) WMD.kif 1163-1163 diseaseSymptom QFever and Fever
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1424-1424 diseaseSymptom RiftValleyFever and Fever
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1823-1823 diseaseSymptom RotavirusGastroenteritis and Fever
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1683-1683 diseaseSymptom SaintLouisEncephalitis and Fever
(diseaseSymptom Tularemia Fever) WMD.kif 1215-1215 diseaseSymptom Tularemia and Fever
(diseaseSymptom TyphoidFever Fever) WMD.kif 1358-1358 diseaseSymptom TyphoidFever and Fever
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1411-1411 diseaseSymptom VenezuelanEquineEncephalitis and Fever
(diseaseSymptom VenezuelanHemorrhagicFever Fever) WMD.kif 1954-1954 diseaseSymptom VenezuelanHemorrhagicFever and 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 6161-6169
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1110-1117


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