No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1519-1519 |
diseaseIncubation HerpesB, 10 DayDuration(s) and 20 DayDuration(s) |
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 1521-1521 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9289-9289 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9290-9290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9291-9291 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1518-1518 |
HerpesB est une instance de LifeThreateningDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1517-1517 |
HerpesB est une instance de ViralDisease |