No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1471-1471 |
麻痺性貝類中毒 是 芋螺毒素 的 biochemical 病毒徵兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1470-1470 |
Mollusk 是 芋螺毒素 的病毒傳遞者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1472-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5928-5928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31583-31583 |
roomTempState 芋螺毒素 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1469-1469 |
子類 芋螺毒素 and BodySubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1468-1468 |
子類 芋螺毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1467-1467 |
子類 芋螺毒素 and 毒素 |