|
|
  NordicInvestmentBank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3639-3639 | 天 4 and 月 December and 年 1975 是 北歐投資銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3636-3636 | 例 北歐投資銀行 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3640-3640 | 經濟合作 是 北歐投資銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | 經濟發展 是 北歐投資銀行 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3638-3638 | 北歐投資銀行 是 "NIB" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3637-3637 | 北歐投資銀行 是 "Nordic Investment Bank" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40919-40919 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40918-40918 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40917-40917 |
|
|
|