ArabMonetaryFund - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	The day 27 of month the month April is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5862-5862	The day 27 of month the month April is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 2809-2809	Arab monetary fund is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2813-2813	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 2811-2811	"AMF" is an abbreviation of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 2810-2810	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 8149-8149	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 8148-8148	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 8147-8147	Arab monetary fund is a conventional long name of "Arab Monetary Fund"