InformationCooperation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2687-2687 | InformationCooperation est une instance de AreaOfConcern |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2688-2688 | EducationalCooperation est un sous-attribut de InformationCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2691-2691 | ScientificCooperation est un sous-attribut de InformationCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2690-2690 | SocioeconomicResearch est un sous-attribut de InformationCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2692-2692 | SpaceResearchAndTechnology est un sous-attribut de InformationCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2689-2689 | TechnologyCooperation est un sous-attribut de InformationCooperation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30031-30031 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30030-30030 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30029-30029 |