|
|
  UnitedNationsCompensationCommission
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4219-4219 | dateEstablished UnitedNationsCompensationCommission and l' ann�e 1991 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4222-4225 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | UnitedNationsCompensationCommission est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4220-4220 | organizationalObjective UnitedNationsCompensationCommission and CompensationAndReparation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4185-4185 | UnitedNationsCompensationCommission 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 4218-4218 | abbreviation "UNCC" and UnitedNationsCompensationCommission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4217-4217 | conventionalLongName "United Nations Compensation Commission" and UnitedNationsCompensationCommission |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60086-60086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60085-60085 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60084-60084 |
|
|
|