EuropeanSpaceAgency - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3247-3247	The day 31 is a date established of european space agency
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	European space agency is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3248-3248	Space research and technology is an organizational objective of european space agency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3249-3249	Technology cooperation is an organizational objective of european space agency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3246-3246	"ESA" is an abbreviation of european space agency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3245-3245	European space agency is a conventional long name of "European Space Agency"
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