UnitedNationsTransitionalAdministrationInEastTimor
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and o dia 25 |
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 | UnitedNationsTransitionalAdministrationInEastTimor e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4239-4239 | organizationalObjective UnitedNationsTransitionalAdministrationInEastTimor and HumanitarianAssistance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4238-4238 | organizationalObjective UnitedNationsTransitionalAdministrationInEastTimor and TransitionalAdministration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4201-4201 | UnitedNationsTransitionalAdministrationInEastTimor e' uma parte da organizacao UnitedNationsSecurityCouncil |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4236-4236 | abbreviation "UNTAET" and UnitedNationsTransitionalAdministrationInEastTimor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4235-4235 | conventionalLongName "United Nations Transitional Administration in East Timor" and UnitedNationsTransitionalAdministrationInEastTimor |
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 |