FrancZone - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3272-3272	The year 1964 is a date established of franc zone
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6039-6039
No TPTP formula. May not be expressible in strict first order.	Government.kif 3268-3268	Franc zone is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3273-3273	Monetary union is an organizational objective of franc zone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3271-3271	"FZ" is an abbreviation of franc zone
No TPTP formula. May not be expressible in strict first order.	Government.kif 3269-3269	Franc zone is a conventional long name of "Franc Zone"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3270-3270	Franc zone is a local long name of "Conference des Ministres des Finances des Pays de la Zone Franc"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24884-24884
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24883-24883
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24882-24882