| BeneluxEconomicUnion(比荷盧經濟聯盟)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | 天 3 and 月 February and 年 1958 是 比荷盧經濟聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6159-6159 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5879-5879 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6158-6158 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6160-6160 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2898-2898 | 例 比荷盧經濟聯盟 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2902-2902 | 經濟一體化 是 比荷盧經濟聯盟 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2900-2900 | 比荷盧經濟聯盟 是 "Benelux" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | 比荷盧經濟聯盟 是 "Benelux Economic Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2903-2903 | 會員 比利時 and 比荷盧經濟聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2905-2905 | 會員 盧森堡 and 比荷盧經濟聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2904-2904 | 會員 荷蘭 and 比荷盧經濟聯盟 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10739-10739 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10738-10738 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10737-10737 |
|
|
|