Fever
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6156-6158 | |
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 6155-6155 | 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 1243-1243 | 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 6160-6168 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1110-1117 |
|