No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1761-1761 |
diseaseIncubation ScarletFever, 1 DayDuration(s) and 4 DayDuration(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 |
ScarletFever est une instance de BacterialDisease |