No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1260-1260 |
天花 是 小天花 的 biochemical 病毒徵兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1261-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6954-6954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8202-8202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8203-8203 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8205-8205 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8206-8206 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8208-8208 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1259-1259 |
子類 小天花 and 病毒劑 |