|
|
  MonetaryStability
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9435-9435 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2687-2687 | 货币稳定 是 经济发展 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3570-3570 | 货币稳定 是 国际货币基金组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38343-38343 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38342-38342 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38341-38341 |
|
|
|
