|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | Economic development is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | Economic development is an organizational objective of united nations development program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4028-4028 | Economic development is an organizational objective of united nations industrial development organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4299-4299 | Economic development is an organizational objective of west african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2679-2679 | Agricultural development is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2682-2682 | International trade support is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2690-2690 | Labor issues is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2687-2687 | Monetary stability is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2689-2689 | Promote sustainable development is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2680-2680 | Promotion of private enterprise is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2681-2681 | Promotion of tourism is a subattribute of economic development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2688-2688 | Reduce poverty is a subattribute of economic development |
| 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