|
|
  UnitedNationsTrusteeshipCouncil
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | dateEstablished UnitedNationsTrusteeshipCouncil and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4251-4255 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6938-6938 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8149-8149 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8150-8150 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4248-4248 | UnitedNationsTrusteeshipCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4258-4258 | organizationalObjective UnitedNationsTrusteeshipCouncil and TransitionalAdministration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4249-4249 | conventionalLongName "United Nations Trusteeship Council" and UnitedNationsTrusteeshipCouncil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60320-60320 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60319-60319 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60318-60318 |
|
|
|
