ArabMonetaryFund - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2813-2813	The day 27 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 is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 2810-2810	Arab monetary fund is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2814-2814	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 2812-2812	"AMF" is an abbreviation of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 2811-2811	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 8151-8151	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 8150-8150	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"