No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1457-1457 |
呼吸 是 石房蛤毒素 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1456-1456 |
消化 是 石房蛤毒素 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1458-1458 |
麻痹性贝类中毒 是 石房蛤毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1455-1455 |
软体动物 是 石房蛤毒素 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1459-1460 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6840-6840 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31648-31648 |
roomTempState 石房蛤毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1454-1454 |
石房蛤毒素 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1453-1453 |
石房蛤毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1452-1452 |
石房蛤毒素 是 毒素 的 subclass |