TreeView Knowledge Base Browser - AntarcticTreatyCouncil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2801-2801	23 Day 是南极条约理事会的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8882-8882
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8884-8884
No TPTP formula. May not be expressible in strict first order.	Government.kif 2799-2799	南极条约理事会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2802-2802	行政和管理是南极条约理事会的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2803-2803	促进地区稳定是南极条约理事会的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2800-2800	南极条约理事会是 "Antarctic Treaty Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7782-7782
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7781-7781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7780-7780