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 Day 是南锥共同市场的成立 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	南锥共同市场是国际组织的 instance
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