TreeView Knowledge Base Browser - UniversalPostalUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4238-4238	天 9 and 月 October and 年 1874 是全球郵政聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4240-4241
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 4235-4235	例全球郵政聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4243-4243	基礎設施合作是全球郵政聯盟的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3086-3086	子組織全球郵政聯盟 and 經濟和社會理事會

appearance as argument number 2

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