TreeView Knowledge Base Browser - UnitedNationsTrusteeshipCouncil

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4213-4213	聯合國託管理事會是 "United Nations Trusteeship Council" 的 conventional 全名
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