UnitedNationsTrusteeshipCouncil - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4257-4257	天 26 and 月 June and 年 1945 是聯合國託管理事會的成立 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	例聯合國託管理事會 and 國際組織
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