No TPTP formula. May not be expressible in strict first order. |
WMD.kif 424-424 |
肺鼠疫 對於 %3 disease 孵化 |
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 |
子屬性 肺鼠疫 and 鼠疫 |