No TPTP formula. May not be expressible in strict first order. |
Government.kif 4130-4130 |
维和行动 是 联合国塞浦路斯维和部队 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4246-4246 |
维和行动 是 联合国停战监督组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44916-44916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44915-44915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44914-44914 |
|