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	31 Day 是欧洲航太局的成立 date
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	欧洲航太局是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3248-3248	空间研究与技术是欧洲航太局的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3249-3249	技术合作是欧洲航太局的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3246-3246	欧洲航太局是 "ESA" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3245-3245	欧洲航太局是 "European Space Agency" 的 conventional 全名
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