TreeView Knowledge Base Browser - PartnershipForPeace

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3808-3808	天 11 and 月 January and 年 1994 是和平夥伴關係的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3805-3805	例和平夥伴關係 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3810-3810	軍事合作是和平夥伴關係的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3809-3809	政治合作是和平夥伴關係的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3811-3811	促進地區穩定是和平夥伴關係的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3812-3812	相關的內部概念和平夥伴關係 and 北大西洋條約組織

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3807-3807	和平夥伴關係是 "PFP" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3806-3806	和平夥伴關係是 "Partnership for Peace" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44598-44598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44597-44597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44596-44596