|
|
  ScientificCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2691-2691 | ScientificCooperation est un sous-attribut de InformationCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | organizationalObjective EuropeanOrganizationForNuclearResearch and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3500-3500 | organizationalObjective InternationalHydrographicOrganization and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3891-3891 | organizationalObjective UnitedNationsEducationalScientificAndCulturalOrganization and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4327-4327 | organizationalObjective WorldMeteorologicalOrganization and ScientificCooperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51575-51575 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51574-51574 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51573-51573 |
|
|
|