TreeView Knowledge Base Browser - NuclearEnergyAgency

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3654-3654	天 1 and 月 February and 年 1958 是核能機構的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3650-3650	例核能機構 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3655-3655	和平利用原子能是核能機構的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3656-3656	子組織核能機構 and 經濟合作與發展組織

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3653-3653	核能機構是 "NEA" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3651-3651	核能機構是 "Nuclear Energy Agency" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3652-3652	核能機構是 "OECD Nuclear Energy Agency" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41345-41345
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41344-41344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41343-41343