| 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 |
子屬性 組織奧運會 and 文化合作 |
| 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 |
|
ForgingAndStamping