UnitedNationsTransitionalAdministrationInEastTimor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4237-4237	25 Day 是联合国东帝汶过渡行政当局的成立 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	联合国东帝汶过渡行政当局是国际组织的 instance
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	联合国东帝汶过渡行政当局是联合国安理会 Organization 的一部分

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