TreeView Knowledge Base Browser - UniversalPostalUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4274-4274	天 9 and 月 October and 年 1874 是全球郵政聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4276-4277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5826-5826
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5827-5827
No TPTP formula. May not be expressible in strict first order.	Government.kif 4271-4271	例全球郵政聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4279-4279	基礎設施合作是全球郵政聯盟的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3122-3122	子組織全球郵政聯盟 and 經濟和社會理事會

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4273-4273	全球郵政聯盟是 "UPU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4272-4272	全球郵政聯盟是 "Universal Postal Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60446-60446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60445-60445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60444-60444