diseaseMortality |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 887-888 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 885-885 | O argumento numero 1 de diseaseMortality e' uma instancia de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 886-886 | O argumento numero 2 de diseaseMortality e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 884-884 | diseaseMortality e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 772-772 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 771-771 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 770-770 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19812-19812 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19811-19811 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19810-19810 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 902-906 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 890-900 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 908-910 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1242-1242 | diseaseMortality Covid19 and 0.028 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1913-1913 | diseaseMortality CrimeanCongoHemorrhagicFever and 0.3 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1653-1653 | diseaseMortality DengueHemorrhagicFever and 0.05 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1520-1520 | diseaseMortality HerpesB and 0.7 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1714-1714 | diseaseMortality JapaneseEncephalitis and 0.30 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1667-1667 | diseaseMortality LaCrosseEncephalitis and 0.01 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1867-1867 | diseaseMortality LassaFever and 0.01 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1888-1888 | diseaseMortality LegionnairesDisease and 0.125 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1742-1742 | diseaseMortality MarburgDisease and 0.25 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1164-1164 | diseaseMortality QFever and 0.01 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1425-1425 | diseaseMortality RiftValleyFever and 0.01 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 260-260 | diseaseMortality RockyMountainSpottedFever and 0.04 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1221-1221 | diseaseMortality Smallpox and 0.33 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1216-1216 | diseaseMortality Tularemia and 0.05 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1410-1410 | diseaseMortality VenezuelanEquineEncephalitis and 0.01 |