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 发热疾病或综合症instance

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


(biochemicalAgentSyndrome SalmonellaTyphimurium Fever) WMD.kif 1002-1002 发热鼠伤寒沙门氏菌biochemical 病毒征兆
(biochemicalAgentSyndrome StaphylococcusAureus Fever) WMD.kif 1431-1431 发热金黄色葡萄球菌biochemical 病毒征兆
(biochemicalAgentSyndrome YellowFeverVirus Fever) WMD.kif 1174-1174 发热黄热病病毒biochemical 病毒征兆
(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1932-1932 发热阿根廷出血热dis​​ease 病状
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1944-1944 发热玻利维亚出血热dis​​ease 病状
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1964-1964 发热巴西出血热dis​​ease 病状
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394 发热波状热dis​​ease 病状
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1244-1244 发热Covid19dis​​ease 病状
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1912-1912 发热克里米亚刚果出血热dis​​ease 病状
(diseaseSymptom Diphtheria Fever) WMD.kif 1904-1904 发热白喉dis​​ease 病状
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1698-1698 发热东部马脑炎dis​​ease 病状
(diseaseSymptom Glanders Fever) WMD.kif 365-365 发热马鼻疽dis​​ease 病状
(diseaseSymptom HepatitisA Fever) WMD.kif 1788-1788 发热A型肝炎dis​​ease 病状
(diseaseSymptom Influenza Fever) WMD.kif 1449-1449 发热流感dis​​ease 病状
(diseaseSymptom LassaFever Fever) WMD.kif 1865-1865 发热拉沙热dis​​ease 病状
(diseaseSymptom Malaria Fever) WMD.kif 1609-1609 发热疟疾dis​​ease 病状
(diseaseSymptom Plague Fever) WMD.kif 413-413 发热鼠疫dis​​ease 病状
(diseaseSymptom QFever Fever) WMD.kif 1163-1163 发热Q发烧dis​​ease 病状
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1424-1424 发热裂谷热dis​​ease 病状
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1823-1823 发热轮状病毒肠胃炎dis​​ease 病状
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1683-1683 发热圣路易斯脑炎dis​​ease 病状
(diseaseSymptom Tularemia Fever) WMD.kif 1215-1215 发热兔热病dis​​ease 病状
(diseaseSymptom TyphoidFever Fever) WMD.kif 1358-1358 发热伤寒dis​​ease 病状
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1411-1411 发热委内瑞拉马脑炎dis​​ease 病状
(diseaseSymptom VenezuelanHemorrhagicFever Fever) WMD.kif 1954-1954 发热委内瑞拉出血热dis​​ease 病状

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