BeneluxEconomicUnion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2864-2864	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 2861-2861	Benelux economic union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2865-2865	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 2863-2863	"Benelux" is an abbreviation of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2862-2862	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 2866-2866	Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2868-2868	Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2867-2867	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