TreeView Knowledge Base Browser - NorthAtlanticTreatyOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3683-3683	4 Day 是北大西洋条约组织的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7451-7451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7452-7452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6733-6733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7453-7453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7448-7448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7454-7454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7449-7449
No TPTP formula. May not be expressible in strict first order.	Government.kif 3680-3680	北大西洋条约组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3684-3684	共同防御协定是北大西洋条约组织的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3682-3682	北大西洋条约组织是 "NATO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3681-3681	北大西洋条约组织是 "North Atlantic Treaty Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3812-3812	和平伙伴关系和北大西洋条约组织是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40971-40971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40970-40970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40969-40969