TreeView Knowledge Base Browser - EuropeanSpaceAgency

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3247-3247	dateEstablished EuropeanSpaceAgency and o dia 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 3244-3244	EuropeanSpaceAgency e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3248-3248	organizationalObjective EuropeanSpaceAgency and SpaceResearchAndTechnology
No TPTP formula. May not be expressible in strict first order.	Government.kif 3249-3249	organizationalObjective EuropeanSpaceAgency and TechnologyCooperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3246-3246	abbreviation "ESA" and EuropeanSpaceAgency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3245-3245	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