CouncilOfTheBalticSeaStates
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | 6 Day 是 波罗的海国家理事会 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3032-3032 | 波罗的海国家理事会 是 国际组织 的 instance |
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 3036-3036 | 经济发展 是 波罗的海国家理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3038-3038 | 能源和环境 是 波罗的海国家理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3037-3037 | 人道主义援助 是 波罗的海国家理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3039-3039 | 政治发展 是 波罗的海国家理事会 的 organizational 目标 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3034-3034 | 波罗的海国家理事会 是 "CBSS" 的简称 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3033-3033 | 波罗的海国家理事会 是 "Council of the Baltic Sea States" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17538-17538 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17537-17537 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17536-17536 |