TreeView Knowledge Base Browser - BeneluxEconomicUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	dateEstablished BeneluxEconomicUnion and le jour 3
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	BeneluxEconomicUnion est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2902-2902	organizationalObjective BeneluxEconomicUnion and EconomicIntegration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2900-2900	abbreviation "Benelux" and BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 2899-2899	conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 2903-2903	Belgium est un membre de BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	Luxembourg est un membre de BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 2904-2904	Netherlands est un membre de BeneluxEconomicUnion
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