|
|
  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 2651-2651 | MonetaryStability est un sous-attribut de EconomicDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3534-3534 | organizationalObjective InternationalMonetaryFund and MonetaryStability |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38345-38345 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38344-38344 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38343-38343 |
|
|
|
