BeneluxEconomicUnion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2832-2832	The day 3 is a date established of benelux economic union
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6160-6160
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5880-5880
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6159-6159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6161-6161
No TPTP formula. May not be expressible in strict first order.	Government.kif 2829-2829	Benelux economic union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2833-2833	Economic integration is an organizational objective of benelux economic union

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	"Benelux" is an abbreviation of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2830-2830	Benelux economic union is a conventional long name of "Benelux Economic Union"
No TPTP formula. May not be expressible in strict first order.	Government.kif 2834-2834	Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2836-2836	Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2835-2835	Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10757-10757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10756-10756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10755-10755