No TPTP formula. May not be expressible in strict first order. |
WMD.kif 507-507 |
路易氏剂 biochemical 病毒解毒制剂 二巯基丙醇 对于 遮盖 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 508-511 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4769-4769 |
|
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 506-506 |
路易氏剂 是 发泡剂 的 subclass |