No TPTP formula. May not be expressible in strict first order. |
Government.kif 2835-2835 |
社会合作 是 阿拉伯联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2871-2871 |
社会合作 是 东南亚国家联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3048-3048 |
社会合作 是 协约理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3258-3258 |
社会合作 是 欧洲联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3371-3371 |
社会合作 是 海湾合作委员会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3395-3395 |
社会合作 是 政府间发展权威 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3789-3789 |
社会合作 是 组织伊斯兰会议 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3797-3797 |
社会合作 是 太平洋社区 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3836-3836 |
社会合作 是 南亚区域合作协会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2718-2718 |
文化合作 是 社会合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2720-2720 |
教育合作 是 社会合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2721-2721 |
人道主义援助 是 社会合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53618-53618 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53617-53617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53616-53616 |
|