No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1761-1761 |
Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1762-1763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6842-6842 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7816-7816 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7817-7817 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1760-1760 |
Scarlet fever is an instance of bacterial disease |