WarsawPact - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4285-4285	天 1 and 月 July and 年 1991 是華沙協議的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4284-4284	天 14 and 月 May and 年 1955 是華沙協議的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8247-8247
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6967-6967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8246-8246
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8248-8248
No TPTP formula. May not be expressible in strict first order.	Government.kif 4281-4281	例華沙協議 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4286-4286	共同防禦協定是華沙協議的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4283-4283	華沙協議是 "WP" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4282-4282	華沙協議是 "Warsaw Pact" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62229-62229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62228-62228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62227-62227