No TPTP formula. May not be expressible in strict first order. |
WMD.kif 419-419 |
diseaseIncubation BubonicPlague, 2 DayDuration(s) and 6 DayDuration(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 |
BubonicPlague e' um sub-atributo de Plague |