UniversalPostalUnion - Sigma Knowledge base Browser

appearance as argument number 1

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

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