EuropeanSpaceAgency - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3211-3211	dateEstablished EuropeanSpaceAgency and le jour 31
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6487-6487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6496-6496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6488-6488
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6489-6489
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6490-6490
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6495-6495
No TPTP formula. May not be expressible in strict first order.	Government.kif 3208-3208	EuropeanSpaceAgency est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3212-3212	organizationalObjective EuropeanSpaceAgency and SpaceResearchAndTechnology
No TPTP formula. May not be expressible in strict first order.	Government.kif 3213-3213	organizationalObjective EuropeanSpaceAgency and TechnologyCooperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3210-3210	abbreviation "ESA" and EuropeanSpaceAgency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3209-3209	conventionalLongName "European Space Agency" and EuropeanSpaceAgency
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22588-22588
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22587-22587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22586-22586