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 and 月 May and 年 1975 是歐洲航太局的成立 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	例歐洲航太局 and 國際組織
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