![]() |
![]() ![]()
|
![]() |
|
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 | 子屬性 貨幣穩定 and 經濟發展 |
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 |
![]() |
![]() |