No TPTP formula. May not be expressible in strict first order. |
Government.kif 2645-2645 |
CBW出口管制 是 控制生物和化学武器 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2646-2646 |
消除化学武器 是 控制生物和化学武器 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17016-17016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17015-17015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17014-17014 |
|