TreeView Knowledge Base Browser - NuclearEnergyAgency

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3690-3690	1 Day 是核能机构的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3686-3686	核能机构是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3691-3691	和平利用原子能是核能机构的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3692-3692	核能机构是经济合作与发展组织 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3689-3689	核能机构是 "NEA" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3687-3687	核能机构是 "Nuclear Energy Agency" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3688-3688	核能机构是 "OECD Nuclear Energy Agency" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41343-41343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41342-41342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41341-41341