UnitedNationsTrusteeshipCouncil
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | dateEstablished UnitedNationsTrusteeshipCouncil and o dia 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 e' uma instancia 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 |