Sarin DeviceOn
|
|
appearance as argument number 1 |
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 31647-31647 | roomTempState 沙林 and 加油站 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 585-585 | 沙林 是 G系列神经毒剂 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51273-51273 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51272-51272 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51271-51271 |