No TPTP formula. May not be expressible in strict first order. |
WMD.kif 432-435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8688-8688 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9608-9608 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 431-431 |
測量 1.0 and 千 公克 是 測量 3.0 and 微 公克 的 per 是 蓖麻毒素 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31645-31645 |
roomTempState 蓖麻毒素 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
子類 蓖麻毒素 and Protein |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 429-429 |
子類 蓖麻毒素 and 毒素 |