TreeView Knowledge Base Browser - SouthernConeCommonMarket

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3866-3866	天 26 and 月 March and 年 1991 是南錐共同市場的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6881-6881
No TPTP formula. May not be expressible in strict first order.	Government.kif 3861-3861	例南錐共同市場 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3867-3867	經濟合作是南錐共同市場的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3864-3864	南錐共同市場是 "Mercosur" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3863-3863	南錐共同市場是 "Southern Common Market" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3862-3862	南錐共同市場是 "Southern Cone Common Market" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3865-3865	南錐共同市場是 "Mercado Comun del Cono Sur" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54204-54204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54203-54203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54202-54202