| UniversalPostalUnion(universal postal union)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | The day 9 is a date established of universal postal union |
| 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 | Universal postal union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4279-4279 | Infrastructure cooperation is an organizational objective of universal postal union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3122-3122 | Universal postal union is a part of the organization economic and social council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4273-4273 | "UPU" is an abbreviation of universal postal union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4272-4272 | Universal postal union is a conventional long name of "Universal Postal Union" |
| 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 |
|
|
|