No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1519-1519 |
Herpes b disease incubation 10 day duration(s) for 20 day duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1520-1520 |
0.7 is a disease mortality of herpes b |
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 |
Herpes b is an instance of life threatening disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1517-1517 |
Herpes b is an instance of viral disease |