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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fever

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6157-6159
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6009-6009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6156-6156 Fever is an instance of disease or syndrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1002-1002 Fever is a biochemical agent syndrome of salmonella typhimurium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1431-1431 Fever is a biochemical agent syndrome of staphylococcus aureus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1174-1174 Fever is a biochemical agent syndrome of yellow fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1932-1932 Fever is a disease symptom of argentinian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1944-1944 Fever is a disease symptom of bolivian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1964-1964 Fever is a disease symptom of brazilian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 394-394 Fever is a disease symptom of brucellosis
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1244-1244 Fever is a disease symptom of Covid
No TPTP formula. May not be expressible in strict first order. WMD.kif 1912-1912 Fever is a disease symptom of crimean congo hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1904-1904 Fever is a disease symptom of diphtheria
No TPTP formula. May not be expressible in strict first order. WMD.kif 1698-1698 Fever is a disease symptom of eastern equine encephalitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 365-365 Fever is a disease symptom of glanders
No TPTP formula. May not be expressible in strict first order. WMD.kif 1788-1788 Fever is a disease symptom of hepatitis a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1449-1449 Fever is a disease symptom of influenza
No TPTP formula. May not be expressible in strict first order. WMD.kif 1865-1865 Fever is a disease symptom of lassa fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1609-1609 Fever is a disease symptom of malaria
No TPTP formula. May not be expressible in strict first order. WMD.kif 413-413 Fever is a disease symptom of plague
No TPTP formula. May not be expressible in strict first order. WMD.kif 1163-1163 Fever is a disease symptom of Q fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1424-1424 Fever is a disease symptom of rift valley fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1823-1823 Fever is a disease symptom of rotavirus gastroenteritis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 Fever is a disease symptom of saint louis encephalitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1215-1215 Fever is a disease symptom of tularemia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1358-1358 Fever is a disease symptom of typhoid fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1411-1411 Fever is a disease symptom of venezuelan equine encephalitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1954-1954 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6161-6169
No TPTP formula. May not be expressible in strict first order. WMD.kif 1110-1117


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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