No TPTP formula. May not be expressible in strict first order. |
WMD.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6837-6837 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7809-7809 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7810-7810 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 586-586 |
測量 1.0 and 千 公克 是 測量 100.0 and 微 公克 的 per 是 沙林 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31679-31679 |
roomTempState 沙林 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
子類 沙林 and G系列神經毒劑 |