UnitedNationsTransitionalAdministrationInEastTimor(united nations transitional administration in east timor) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | The day 25 is a date established of united nations transitional administration in east timor |
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 | United nations transitional administration in east timor is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4239-4239 | Humanitarian assistance is an organizational objective of united nations transitional administration in east timor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4238-4238 | Transitional administration is an organizational objective of united nations transitional administration in east timor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4201-4201 | United nations transitional administration in east timor is a part of the organization united nations security council |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4236-4236 | "UNTAET" is an abbreviation of united nations transitional administration in east timor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4235-4235 | United nations transitional administration in east timor is a conventional long name of "United Nations Transitional Administration in East Timor" |
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 |