No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1866-1866 |
Lassa fever disease incubation 1 week duration(s) for 3 week duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1867-1867 |
0.01 is a disease mortality of lassa fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1865-1865 |
Fever is a disease symptom of lassa fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1868-1870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6660-6660 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1864-1864 |
Lassa fever is an instance of life threatening disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1863-1863 |
Lassa fever is an instance of viral disease |