No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1903-1903 |
Diphtheria disease incubation 2 day duration(s) for 5 day duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1904-1904 |
Fever is a disease symptom of diphtheria |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1905-1907 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4656-4656 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1901-1901 |
Diphtheria is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1902-1902 |
Diphtheria is an instance of life threatening disease |