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 公克 的一千倍 是 100.0 公克 的百万分之一 的 per 是 沙林 的 lethal 剂量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31643-31643 |
roomTempState 沙林 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
沙林 是 G系列神经毒剂 的 subclass |