|
|
  Fever
|
|
|
| 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 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 1244-1244 | 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 6161-6169 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1110-1117 |
|
|
|
|
