No TPTP formula. May not be expressible in strict first order. |
Government.kif 2844-2844 |
文化合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2872-2872 |
文化合作 是 东南亚国家联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3028-3028 |
文化合作 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3040-3040 |
文化合作 是 波罗的海国家理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3149-3149 |
文化合作 是 经济合作组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3669-3669 |
文化合作 是 北欧理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3745-3745 |
文化合作 是 非洲统一组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3788-3788 |
文化合作 是 组织伊斯兰会议 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3837-3837 |
文化合作 是 南亚区域合作协会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3877-3877 |
文化合作 是 联合国 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3928-3928 |
文化合作 是 联合国教育科学文化组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2719-2719 |
组织奥运会 是 文化合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18012-18012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18011-18011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18010-18010 |
|