Fever |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6151-6153 | |
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 6150-6150 | Fever e' uma instancia de Doenca ou Sindrome |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1002-1002 | biochemicalAgentSyndrome SalmonellaTyphimurium and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1431-1431 | biochemicalAgentSyndrome StaphylococcusAureus and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1174-1174 | biochemicalAgentSyndrome YellowFeverVirus and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1932-1932 | diseaseSymptom ArgentinianHemorrhagicFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1944-1944 | diseaseSymptom BolivianHemorrhagicFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1964-1964 | diseaseSymptom BrazilianHemorrhagicFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 394-394 | diseaseSymptom Brucellosis and Fever |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1245-1245 | diseaseSymptom Covid19 and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1912-1912 | diseaseSymptom CrimeanCongoHemorrhagicFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1904-1904 | diseaseSymptom Diphtheria and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1698-1698 | diseaseSymptom EasternEquineEncephalitis and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 365-365 | diseaseSymptom Glanders and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1788-1788 | diseaseSymptom HepatitisA and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1449-1449 | diseaseSymptom Influenza and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1865-1865 | diseaseSymptom LassaFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1609-1609 | diseaseSymptom Malaria and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 413-413 | diseaseSymptom Plague and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1163-1163 | diseaseSymptom QFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1424-1424 | diseaseSymptom RiftValleyFever and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1823-1823 | diseaseSymptom RotavirusGastroenteritis and Fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1683-1683 | diseaseSymptom SaintLouisEncephalitis and Fever |
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 |
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 6155-6163 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1110-1117 |
|