No TPTP formula. May not be expressible in strict first order. |
WMD.kif 507-507 |
路易氏劑 biochemical 病毒解毒製劑 二巰基丙醇 對於 Covering |
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 31551-31551 |
roomTempState 路易氏劑 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 506-506 |
子類 路易氏劑 and 發泡劑 |