No TPTP formula. May not be expressible in strict first order. |
WMD.kif 589-589 |
子類 GF and G系列神經毒劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
子類 沙林 and G系列神經毒劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
子類 梭曼 and G系列神經毒劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 575-575 |
子類 塔崩 and G系列神經毒劑 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26832-26832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26831-26831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26830-26830 |
|