PromotePrivateEnterprise |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11680-11680 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10208-10208 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11678-11678 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11679-11679 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3485-3485 | PromotePrivateEnterprise est une instance de AreaOfConcern |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3486-3486 | organizationalObjective InternationalFinanceCorporation and PromotePrivateEnterprise |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47716-47716 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47715-47715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47714-47714 |