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