No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1457-1457 |
Breathing 是 石房蛤毒素 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1456-1456 |
Ingesting 是 石房蛤毒素 的 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 |
Mollusk 是 石房蛤毒素 的病毒傳遞者 |
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 31644-31644 |
roomTempState 石房蛤毒素 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1454-1454 |
子類 石房蛤毒素 and BodySubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1453-1453 |
子類 石房蛤毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1452-1452 |
子類 石房蛤毒素 and 毒素 |