No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1499-1499 |
diseaseIncubation Tetanus, 3 DayDuration(s) and 3 WeekDuration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1500-1504 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6919-6919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8079-8079 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8077-8077 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8078-8078 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1497-1497 |
Tetanus e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1498-1498 |
Tetanus e' uma instancia de VaccinatableDisease |