| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2700-2700 | Political cooperation 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 2836-2836 | Political cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | Political cooperation is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2967-2967 | Political cooperation is an organizational objective of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2988-2988 | Political cooperation is an organizational objective of commonwealth of independent states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2981-2981 | Political cooperation is an organizational objective of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3026-3026 | Political cooperation is an organizational objective of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3047-3047 | Political cooperation is an organizational objective of council of the entente |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3158-3158 | Political cooperation is an organizational objective of euro atlantic partnership council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3178-3178 | Political cooperation is an organizational objective of european community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3257-3257 | Political cooperation is an organizational objective of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3343-3343 | Political cooperation is an organizational objective of group of15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3279-3279 | Political cooperation is an organizational objective of group of3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3317-3317 | Political cooperation is an organizational objective of group of9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3368-3368 | Political cooperation is an organizational objective of gulf cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | Political cooperation is an organizational objective of indian ocean commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3657-3657 | Political cooperation is an organizational objective of nonaligned movement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3772-3772 | Political cooperation is an organizational objective of organization of eastern caribbean states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | Political cooperation is an organizational objective of organization of the islamic conference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | Political cooperation is an organizational objective of pacific island forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3809-3809 | Political cooperation is an organizational objective of partnership for peace |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | Political cooperation is an organizational objective of rio group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3941-3941 | Political cooperation is an organizational objective of united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2702-2702 | Political development is a subattribute of political cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2701-2701 | Political integration is a subattribute of political cooperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46471-46471 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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