UniversalPostalUnion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4238-4238	9 Day 是全球邮政联盟的成立 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	全球邮政联盟是国际组织的 instance
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	全球邮政联盟是经济和社会理事会 Organization 的一部分

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