|
|
  InternationalTelecommunicationUnion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | The day 17 is a date established of international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3614-3616 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5635-5635 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5750-5750 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5747-5747 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5749-5749 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3607-3607 | International telecommunication union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3612-3612 | Communications coordination is an organizational objective of international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3115-3115 | International telecommunication union is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | International telecommunication union is a part of the organization united nations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3609-3609 | "ITU" is an abbreviation of international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3608-3608 | International telecommunication union is a conventional long name of "International Telecommunication Union" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3611-3611 | "International Telegraph Union" is a former name for international telecommunication union |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30697-30697 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30696-30696 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30695-30695 |
|
|
|
