No TPTP formula. May not be expressible in strict first order. |
WMD.kif 107-107 |
不相交的 生化武器 and 放射性武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 673-673 |
劃分 大規模殺傷性武器, 放射性武器 and 生化武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 134-134 |
子類 核武器 and 放射性武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 128-128 |
子類 放射性武器 and 放射性武器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48488-48488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48487-48487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48486-48486 |
|