| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | Social development is an instance of area of concern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | Social development is an organizational objective of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | Social development is an organizational objective of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | Social development is an organizational objective of colombo plan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3027-3027 | Social development is an organizational objective of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3074-3074 | Social development is an organizational objective of economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3387-3387 | Social development is an organizational objective of inter american development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3625-3625 | Social development is an organizational objective of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3634-3634 | Social development is an organizational objective of latin american economic system |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3743-3743 | Social development is an organizational objective of organization of african unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3759-3759 | Social development is an organizational objective of organization of american states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | Social development is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3910-3910 | Social development is an organizational objective of united nations development program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2714-2714 | Emigration and immigration issues is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2711-2711 | Gender equality is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2713-2713 | Promote sustainable development is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2715-2715 | Public health concern is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2712-2712 | Reduce poverty is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2649-2649 | Reducing crime is a subattribute of social development |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53624-53624 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53623-53623 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53622-53622 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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