diseaseSymptom |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 872-875 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 870-870 | Le nombre 1 argument de diseaseSymptom est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 871-871 | Le nombre 2 argument de diseaseSymptom est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 869-869 | diseaseSymptom est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 776-776 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 775-775 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 774-774 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6545-6545 | pathologicSymptom est reli� � l'int�rieur de SUMO � diseaseSymptom |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19818-19818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19817-19817 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19816-19816 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 877-882 |
|
appearance as argument number 0 |
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 335-335 | diseaseSymptom Botulism and Paralysis |
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 1246-1246 | diseaseSymptom Covid19 and Diarrhea |
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. | VirusProteinAndCellPart.kif 1247-1247 | diseaseSymptom Covid19 and RespiratoryDistress |
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. | Medicine.kif 4937-4937 | diseaseSymptom Hyperferritinemia and Inflammation |
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. | Medicine.kif 1425-1425 | diseaseSymptom LymeDisease and SkinRash |
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 1463-1463 | diseaseSymptom ParalyticShellfishPoisoning and Paralysis |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4258-4258 | diseaseSymptom ParkinsonsDisease and ImpairmentFn marcher |
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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |