No TPTP formula. May not be expressible in strict first order. |
Government.kif 2808-2808 |
文化合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2836-2836 |
文化合作 是 东南亚国家联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2992-2992 |
文化合作 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3004-3004 |
文化合作 是 波罗的海国家理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3113-3113 |
文化合作 是 经济合作组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3633-3633 |
文化合作 是 北欧理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3709-3709 |
文化合作 是 非洲统一组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3752-3752 |
文化合作 是 组织伊斯兰会议 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3801-3801 |
文化合作 是 南亚区域合作协会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3841-3841 |
文化合作 是 联合国 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3892-3892 |
文化合作 是 联合国教育科学文化组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2683-2683 |
组织奥运会 是 文化合作 的 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 |
|