| UnitedNationsTrusteeshipCouncil(united nations trusteeship council)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | The day 26 is a date established of united nations trusteeship council |
| 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 | United nations trusteeship council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4258-4258 | Transitional administration is an organizational objective of united nations trusteeship council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4249-4249 | United nations trusteeship council is a conventional long name of "United Nations Trusteeship Council" |
| 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 |
|
|
|