TreeView Knowledge Base Browser - UnitedNationsTransitionalAdministrationInEastTimor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4237-4237	天 25 and 月 October and 年 1999 是聯合國東帝汶過渡行政當局的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5823-5823
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5688-5688
No TPTP formula. May not be expressible in strict first order.	Government.kif 4234-4234	例聯合國東帝汶過渡行政當局 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4239-4239	人道主義援助是聯合國東帝汶過渡行政當局的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4238-4238	過渡政府是聯合國東帝汶過渡行政當局的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4201-4201	子組織聯合國東帝汶過渡行政當局 and 聯合國安理會

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4236-4236	聯合國東帝汶過渡行政當局是 "UNTAET" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4235-4235	聯合國東帝汶過渡行政當局是 "United Nations Transitional Administration in East Timor" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60308-60308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60307-60307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60306-60306