BeneluxEconomicUnion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | 3 Day 是 比荷卢经济联盟 的成立 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 | 比荷卢经济联盟 是 国际组织 的 instance |
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 | 比利时 是 比荷卢经济联盟 的 member |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2905-2905 | 卢森堡 是 比荷卢经济联盟 的 member |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2904-2904 | 荷兰 是 比荷卢经济联盟 的 member |
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 |