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 and 月 June and 年 1961 是南極條約理事會的成立 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	例南極條約理事會 and 國際組織
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