| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2624-2624 | Promote regional stability is an instance of transnational issue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | Promote regional stability is an organizational objective of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2922-2922 | Promote regional stability is an organizational objective of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3029-3029 | Promote regional stability is an organizational objective of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3722-3722 | Promote regional stability is an organizational objective of organization for security and cooperation in europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3760-3760 | Promote regional stability is an organizational objective of organization of american states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3811-3811 | Promote regional stability is an organizational objective of partnership for peace |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2631-2631 | Observation and monitoring is internally related to promote regional stability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2629-2629 | Emigration and immigration issues is a subattribute of promote regional stability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2628-2628 | Peacekeeping operation is a subattribute of promote regional stability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2627-2627 | Transitional administration is a subattribute of promote regional stability |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47720-47720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47719-47719 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47718-47718 |
|
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