No TPTP formula. May not be expressible in strict first order. |
Government.kif 2803-2803 |
促进地区稳定 是 南极条约理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2922-2922 |
促进地区稳定 是 黑海经济合作区 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3029-3029 |
促进地区稳定 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3722-3722 |
促进地区稳定 是 欧洲安全与合作组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3760-3760 |
促进地区稳定 是 美国各州的组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3811-3811 |
促进地区稳定 是 和平伙伴关系 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2631-2631 |
观察和监测 和 促进地区稳定 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2629-2629 |
移民和移民问题 是 促进地区稳定 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2628-2628 |
维和行动 是 促进地区稳定 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2627-2627 |
过渡政府 是 促进地区稳定 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47720-47720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47719-47719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47718-47718 |
|