diseaseSymptom |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1215-1215 | diseaseSymptom Tularemia and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1358-1358 | diseaseSymptom TyphoidFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1411-1411 | diseaseSymptom VenezuelanEquineEncephalitis and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1954-1954 | diseaseSymptom VenezuelanHemorrhagicFever and Fever |