| UnitedNationsTrusteeshipCouncil
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4221-4221 | dateEstablished UnitedNationsTrusteeshipCouncil and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4215-4219 | |
| 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 4212-4212 | UnitedNationsTrusteeshipCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4222-4222 | organizationalObjective UnitedNationsTrusteeshipCouncil and TransitionalAdministration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4213-4213 | conventionalLongName "United Nations Trusteeship Council" and UnitedNationsTrusteeshipCouncil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60322-60322 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60321-60321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60320-60320 |
|
|
|