| ArabMonetaryFund(arab monetary fund)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | The day 27 is a date established of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5864-5864 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | Arab monetary fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | Economic cooperation is an organizational objective of arab monetary fund |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2781-2781 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | Arab monetary fund is a conventional long name of "Arab Monetary Fund" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8159-8159 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8158-8158 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8157-8157 |
|
|
|