No TPTP formula. May not be expressible in strict first order. |
WMD.kif 107-107 |
生化武器 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 673-673 |
大规模杀伤性武器 详尽无遗地 partition 成 放射性武器 和 生化武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 134-134 |
核武器 是 放射性武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 128-128 |
放射性武器 是 放射性武器 的 subclass |
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 |
|