No TPTP formula. May not be expressible in strict first order. |
WMD.kif 424-424 |
diseaseIncubation PneumonicPlague, 3 DayDuration(s) and 4 DayDuration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 425-427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11631-11631 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10194-10194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11632-11632 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11633-11633 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 423-423 |
PneumonicPlague e' um sub-atributo de Plague |