|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | organizationalObjective UnitedNations and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | organizationalObjective UnitedNationsDevelopmentProgram and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4028-4028 | organizationalObjective UnitedNationsIndustrialDevelopmentOrganization and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4299-4299 | organizationalObjective WestAfricanDevelopmentBank and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2679-2679 | AgriculturalDevelopment e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2682-2682 | InternationalTradeSupport e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2690-2690 | LaborIssues e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2687-2687 | MonetaryStability e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2689-2689 | PromoteSustainableDevelopment e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2680-2680 | PromotionOfPrivateEnterprise e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2681-2681 | PromotionOfTourism e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2688-2688 | ReducePoverty e' um sub-atributo de EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21150-21150 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21149-21149 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21148-21148 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners