diseaseSymptom |
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 |