TechnologyCooperation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2725-2725 | TechnologyCooperation e' um sub-atributo de InformationCooperation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3241-3241 | organizationalObjective EuropeanOrganizationForNuclearResearch and TechnologyCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3249-3249 | organizationalObjective EuropeanSpaceAgency and TechnologyCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3911-3911 | organizationalObjective UnitedNationsDevelopmentProgram and TechnologyCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4029-4029 | organizationalObjective UnitedNationsIndustrialDevelopmentOrganization and TechnologyCooperation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57211-57211 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57210-57210 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57209-57209 |