NorthAtlanticTreatyOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3683-3683	天 4 and 月 April and 年 1949 是北大西洋條約組織的成立 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	例北大西洋條約組織 and 國際組織
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	相關的內部概念和平夥伴關係 and 北大西洋條約組織
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