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 |
肺鼠疫 是 鼠疫 的 subAttribute |