InternationalTelecommunicationUnion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | dateEstablished InternationalTelecommunicationUnion and le jour 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 est une instance 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 est une partie de l'organization EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | InternationalTelecommunicationUnion est une partie de l'organization 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 |