|
|
  InternationalTelecommunicationUnion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | dateEstablished InternationalTelecommunicationUnion and o dia 17 |
| 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 | InternationalTelecommunicationUnion e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3612-3612 | organizationalObjective InternationalTelecommunicationUnion and CommunicationsCoordination |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3115-3115 | InternationalTelecommunicationUnion e' uma parte da organizacao EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | InternationalTelecommunicationUnion e' uma parte da organizacao UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3609-3609 | abbreviation "ITU" and InternationalTelecommunicationUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3608-3608 | conventionalLongName "International Telecommunication Union" and InternationalTelecommunicationUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3611-3611 | formerName "International Telegraph Union" and InternationalTelecommunicationUnion |
| 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 |
|
|
|
