BeneluxEconomicUnion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	The day 3 is a date established of benelux economic union
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 5879-5879
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6158-6158
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.	Government.kif 2898-2898	Benelux economic union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2902-2902	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 2900-2900	"Benelux" is an abbreviation of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2899-2899	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 2903-2903	Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2904-2904	Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10739-10739
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10738-10738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10737-10737