CentralEuropeanInitiative - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2945-2945	The day 11 is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5908-5908
No TPTP formula. May not be expressible in strict first order.	Government.kif 2940-2940	Central european initiative is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	Economic cooperation is an organizational objective of central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 2947-2947	Political cooperation is an organizational objective of central european initiative

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2942-2942	"CEI" is an abbreviation of central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 2941-2941	Central european initiative is a conventional long name of "Central European Initiative"
No TPTP formula. May not be expressible in strict first order.	Government.kif 2944-2944	"Hexagonal Initiative" is a former name for central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 2943-2943	"Quadrilateral Initiative" is a former name for central european initiative
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13857-13857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13856-13856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13855-13855