TreeView Knowledge Base Browser - UnitedNationsTrusteeshipCouncil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4257-4257	26 Day 是联合国托管理事会的成立 date
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	联合国托管理事会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4258-4258	过渡政府是联合国托管理事会的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4249-4249	联合国托管理事会是 "United Nations Trusteeship Council" 的 conventional 全名
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