NorthAtlanticTreatyOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3647-3647	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 3644-3644	北大西洋条约组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3648-3648	共同防御协定是北大西洋条约组织的 organizational 目标

appearance as argument number 2

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