| No TPTP formula. May not be expressible in strict first order. | WMD.kif 475-475 | 发泡剂 是 化学剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | 芥子气 是 发泡剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 506-506 | 路易氏剂 是 发泡剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 517-517 | 光气肟 是 发泡剂 的 subclass |
|
|