| Smallpox(smallpox) | | Cuban_itch, Kaffir_pox, West_Indian_smallpox, alastrim, milk_pox, pseudosmallpox, pseudovariola, smallpox, variola, variola_major, variola_minor, white_pox |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1221-1221 | 0.33 is a disease mortality of smallpox |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1222-1226 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1220-1220 | Smallpox is an instance of viral disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1255-1255 | Smallpox is a biochemical agent syndrome of variola major |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1260-1260 | Smallpox is a biochemical agent syndrome of variola minor |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53492-53492 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53491-53491 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53490-53490 |
|
|
|