No TPTP formula. May not be expressible in strict first order. |
WMD.kif 419-419 |
Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 420-421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4569-4569 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10561-10561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10560-10560 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10562-10562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10563-10563 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 418-418 |
Bubonic plague is a subattribute of plague |