No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1602-1602 |
diseaseIncubation Psittacosis, 6 DayDuration(s) and 19 DayDuration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1603-1605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6799-6799 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7663-7663 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1601-1601 |
Psittacosis est une instance de BacterialDisease |