No TPTP formula. May not be expressible in strict first order. |
WMD.kif 623-623 |
氯气 是 窒息剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 613-613 |
氯化苦 是 窒息剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 609-609 |
双光气 是 窒息剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 618-618 |
光气 是 窒息剂 的 subclass |
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 |
|