No TPTP formula. May not be expressible in strict first order. |
WMD.kif 623-623 |
子類 氯氣 and 窒息劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 613-613 |
子類 氯化苦 and 窒息劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 609-609 |
子類 雙光氣 and 窒息劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 618-618 |
子類 光氣 and 窒息劑 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14664-14664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14663-14663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14662-14662 |
|