|
|
  UnitedNationsTransitionalAdministrationInEastTimor
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and le jour 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 est une instance 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 est une partie de l'organization 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 |
|
|
|
