| Pertussis | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | diseaseIncubation Pertussis, 6 DayDuration(s) and 21 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | diseaseMedicine Pertussis, Antibiotic and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1581-1583 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1577-1577 | Pertussis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1578-1578 | Pertussis est une instance de VaccinatableDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1587-1587 | biochemicalAgentSyndrome BordetellaPertussis and Pertussis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45348-45348 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45347-45347 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45346-45346 |
|
|
|