[ { "model": "auth.permission", "pk": 1, "fields": { "name": "Can add log entry", "content_type": 1, "codename": "add_logentry" } }, { "model": "auth.permission", "pk": 2, "fields": { "name": "Can change log entry", "content_type": 1, "codename": "change_logentry" } }, { "model": "auth.permission", "pk": 3, "fields": { "name": "Can delete log entry", "content_type": 1, "codename": "delete_logentry" } }, { "model": "auth.permission", "pk": 4, "fields": { "name": "Can view log entry", "content_type": 1, "codename": "view_logentry" } }, { "model": "auth.permission", "pk": 5, "fields": { "name": "Can add permission", "content_type": 2, "codename": "add_permission" } }, { "model": "auth.permission", "pk": 6, "fields": { "name": "Can change permission", "content_type": 2, "codename": "change_permission" } }, { "model": "auth.permission", "pk": 7, "fields": { "name": "Can delete permission", "content_type": 2, "codename": "delete_permission" } }, { "model": "auth.permission", "pk": 8, "fields": { "name": "Can view permission", "content_type": 2, "codename": "view_permission" } }, { "model": "auth.permission", "pk": 9, "fields": { "name": "Can add group", "content_type": 3, "codename": "add_group" } }, { "model": "auth.permission", "pk": 10, "fields": { "name": "Can change group", "content_type": 3, "codename": "change_group" } }, { "model": "auth.permission", "pk": 11, "fields": { "name": "Can delete group", "content_type": 3, "codename": "delete_group" } }, { "model": "auth.permission", "pk": 12, "fields": { "name": "Can view group", "content_type": 3, "codename": "view_group" } }, { "model": "auth.permission", "pk": 13, "fields": { "name": "Can add user", "content_type": 4, "codename": "add_user" } }, { "model": "auth.permission", "pk": 14, "fields": { "name": "Can change user", "content_type": 4, "codename": "change_user" } }, { "model": "auth.permission", "pk": 15, "fields": { "name": "Can delete user", "content_type": 4, "codename": "delete_user" } }, { "model": "auth.permission", "pk": 16, "fields": { "name": "Can view user", "content_type": 4, "codename": "view_user" } }, { "model": "auth.permission", "pk": 17, "fields": { "name": "Can add content type", "content_type": 5, "codename": "add_contenttype" } }, { "model": "auth.permission", "pk": 18, "fields": { "name": "Can change content type", "content_type": 5, "codename": "change_contenttype" } }, { "model": "auth.permission", "pk": 19, "fields": { "name": "Can delete content type", "content_type": 5, "codename": "delete_contenttype" } }, { "model": "auth.permission", "pk": 20, "fields": { "name": "Can view content type", "content_type": 5, "codename": "view_contenttype" } }, { "model": "auth.permission", "pk": 21, "fields": { "name": "Can add session", "content_type": 6, "codename": "add_session" } }, { "model": "auth.permission", "pk": 22, "fields": { "name": "Can change session", "content_type": 6, "codename": "change_session" } }, { "model": "auth.permission", "pk": 23, "fields": { "name": "Can delete session", "content_type": 6, "codename": "delete_session" } }, { "model": "auth.permission", "pk": 24, "fields": { "name": "Can view session", "content_type": 6, "codename": "view_session" } }, { "model": "auth.permission", "pk": 25, "fields": { "name": "Can add Password Reset Token", "content_type": 7, "codename": "add_resetpasswordtoken" } }, { "model": "auth.permission", "pk": 26, "fields": { "name": "Can change Password Reset Token", "content_type": 7, "codename": "change_resetpasswordtoken" } }, { "model": "auth.permission", "pk": 27, "fields": { "name": "Can delete Password Reset Token", "content_type": 7, "codename": "delete_resetpasswordtoken" } }, { "model": "auth.permission", "pk": 28, "fields": { "name": "Can view Password Reset Token", "content_type": 7, "codename": "view_resetpasswordtoken" } }, { "model": "auth.permission", "pk": 29, "fields": { "name": "Can add Редактор", "content_type": 8, "codename": "add_editor" } }, { "model": "auth.permission", "pk": 30, "fields": { "name": "Can change Редактор", "content_type": 8, "codename": "change_editor" } }, { "model": "auth.permission", "pk": 31, "fields": { "name": "Can delete Редактор", "content_type": 8, "codename": "delete_editor" } }, { "model": "auth.permission", "pk": 32, "fields": { "name": "Can view Редактор", "content_type": 8, "codename": "view_editor" } }, { "model": "auth.permission", "pk": 33, "fields": { "name": "Can add Подписка", "content_type": 9, "codename": "add_subscription" } }, { "model": "auth.permission", "pk": 34, "fields": { "name": "Can change Подписка", "content_type": 9, "codename": "change_subscription" } }, { "model": "auth.permission", "pk": 35, "fields": { "name": "Can delete Подписка", "content_type": 9, "codename": "delete_subscription" } }, { "model": "auth.permission", "pk": 36, "fields": { "name": "Can view Подписка", "content_type": 9, "codename": "view_subscription" } }, { "model": "auth.permission", "pk": 37, "fields": { "name": "Can add Версия", "content_type": 10, "codename": "add_version" } }, { "model": "auth.permission", "pk": 38, "fields": { "name": "Can change Версия", "content_type": 10, "codename": "change_version" } }, { "model": "auth.permission", "pk": 39, "fields": { "name": "Can delete Версия", "content_type": 10, "codename": "delete_version" } }, { "model": "auth.permission", "pk": 40, "fields": { "name": "Can view Версия", "content_type": 10, "codename": "view_version" } }, { "model": "auth.permission", "pk": 41, "fields": { "name": "Can add Схема", "content_type": 11, "codename": "add_libraryitem" } }, { "model": "auth.permission", "pk": 42, "fields": { "name": "Can change Схема", "content_type": 11, "codename": "change_libraryitem" } }, { "model": "auth.permission", "pk": 43, "fields": { "name": "Can delete Схема", "content_type": 11, "codename": "delete_libraryitem" } }, { "model": "auth.permission", "pk": 44, "fields": { "name": "Can view Схема", "content_type": 11, "codename": "view_libraryitem" } }, { "model": "auth.permission", "pk": 45, "fields": { "name": "Can add Шаблон", "content_type": 12, "codename": "add_librarytemplate" } }, { "model": "auth.permission", "pk": 46, "fields": { "name": "Can change Шаблон", "content_type": 12, "codename": "change_librarytemplate" } }, { "model": "auth.permission", "pk": 47, "fields": { "name": "Can delete Шаблон", "content_type": 12, "codename": "delete_librarytemplate" } }, { "model": "auth.permission", "pk": 48, "fields": { "name": "Can view Шаблон", "content_type": 12, "codename": "view_librarytemplate" } }, { "model": "auth.permission", "pk": 49, "fields": { "name": "Can add Конституента", "content_type": 13, "codename": "add_constituenta" } }, { "model": "auth.permission", "pk": 50, "fields": { "name": "Can change Конституента", "content_type": 13, "codename": "change_constituenta" } }, { "model": "auth.permission", "pk": 51, "fields": { "name": "Can delete Конституента", "content_type": 13, "codename": "delete_constituenta" } }, { "model": "auth.permission", "pk": 52, "fields": { "name": "Can view Конституента", "content_type": 13, "codename": "view_constituenta" } }, { "model": "auth.permission", "pk": 53, "fields": { "name": "Can add Аргумент", "content_type": 14, "codename": "add_argument" } }, { "model": "auth.permission", "pk": 54, "fields": { "name": "Can change Аргумент", "content_type": 14, "codename": "change_argument" } }, { "model": "auth.permission", "pk": 55, "fields": { "name": "Can delete Аргумент", "content_type": 14, "codename": "delete_argument" } }, { "model": "auth.permission", "pk": 56, "fields": { "name": "Can view Аргумент", "content_type": 14, "codename": "view_argument" } }, { "model": "auth.permission", "pk": 57, "fields": { "name": "Can add Наследование синтеза", "content_type": 15, "codename": "add_inheritance" } }, { "model": "auth.permission", "pk": 58, "fields": { "name": "Can change Наследование синтеза", "content_type": 15, "codename": "change_inheritance" } }, { "model": "auth.permission", "pk": 59, "fields": { "name": "Can delete Наследование синтеза", "content_type": 15, "codename": "delete_inheritance" } }, { "model": "auth.permission", "pk": 60, "fields": { "name": "Can view Наследование синтеза", "content_type": 15, "codename": "view_inheritance" } }, { "model": "auth.permission", "pk": 61, "fields": { "name": "Can add Отождествление синтеза", "content_type": 16, "codename": "add_substitution" } }, { "model": "auth.permission", "pk": 62, "fields": { "name": "Can change Отождествление синтеза", "content_type": 16, "codename": "change_substitution" } }, { "model": "auth.permission", "pk": 63, "fields": { "name": "Can delete Отождествление синтеза", "content_type": 16, "codename": "delete_substitution" } }, { "model": "auth.permission", "pk": 64, "fields": { "name": "Can view Отождествление синтеза", "content_type": 16, "codename": "view_substitution" } }, { "model": "auth.permission", "pk": 65, "fields": { "name": "Can add Операция", "content_type": 17, "codename": "add_operation" } }, { "model": "auth.permission", "pk": 66, "fields": { "name": "Can change Операция", "content_type": 17, "codename": "change_operation" } }, { "model": "auth.permission", "pk": 67, "fields": { "name": "Can delete Операция", "content_type": 17, "codename": "delete_operation" } }, { "model": "auth.permission", "pk": 68, "fields": { "name": "Can view Операция", "content_type": 17, "codename": "view_operation" } }, { "model": "auth.user", "pk": 1, "fields": { "password": "pbkdf2_sha256$720000$gFZkaBswurtL0naQKiUnW7$3b6SUN3fY2Xl1H7erAszVpQl2LpoKusan+yJP7Bp3JA=", "last_login": "2024-08-02T07:02:14.815Z", "is_superuser": true, "username": "admin", "first_name": "Администратор", "last_name": "", "email": "admin@mail.ru", "is_staff": true, "is_active": true, "date_joined": "2024-05-27T18:31:48.913Z", "groups": [], "user_permissions": [] } }, { "model": "auth.user", "pk": 3, "fields": { "password": "pbkdf2_sha256$720000$UrGOcoUoKyC5A0nCXwNszp$UR3FdvkB9EkQ8PT+mJ7CtCyrwbmmz3tYZcZKTaxyzoM=", "last_login": "2024-06-03T20:57:25.539Z", "is_superuser": false, "username": "User1", "first_name": "User1", "last_name": "", "email": "User1@test.ru", "is_staff": false, "is_active": true, "date_joined": "2024-06-03T20:52:55.670Z", "groups": [], "user_permissions": [] } }, { "model": "auth.user", "pk": 4, "fields": { "password": "pbkdf2_sha256$720000$2gYTKuX3Wiap5y3AokUpub$PExwc31nwYTLFOZDwHpg5loC8WOi//EZvSJ8V9TCmIs=", "last_login": null, "is_superuser": false, "username": "User2", "first_name": "User2", "last_name": "", "email": "User2@test.ru", "is_staff": false, "is_active": true, "date_joined": "2024-06-03T20:53:20.356Z", "groups": [], "user_permissions": [] } }, { "model": "auth.user", "pk": 5, "fields": { "password": "pbkdf2_sha256$720000$uoCzGQ7zxoJOqZ3d8y99nl$d0frHrK9a4ydo0iNp4kGLAsq5eZ4QpQl1lU2bXR3elI=", "last_login": "2024-06-03T20:53:51.231Z", "is_superuser": false, "username": "User3", "first_name": "User3", "last_name": "", "email": "User3@test.ru", "is_staff": false, "is_active": true, "date_joined": "2024-06-03T20:53:45.900Z", "groups": [], "user_permissions": [] } }, { "model": "library.editor", "pk": 2, "fields": { "item": 35, "editor": 3, "time_create": "2024-06-03T20:55:45.359Z" } }, { "model": "library.libraryitem", "pk": 34, "fields": { "item_type": "rsform", "owner": 1, "title": "Банк выражений", "alias": "БВ", "comment": "Банк шаблонов для генерации выражений", "visible": true, "read_only": false, "access_policy": "public", "location": "/L", "time_create": "2024-06-03T20:52:06.322Z", "time_update": "2024-06-03T20:52:06.325Z" } }, { "model": "library.libraryitem", "pk": 35, "fields": { "item_type": "rsform", "owner": 5, "title": "Групповая операция", "alias": "БК09", "comment": "", "visible": true, "read_only": false, "access_policy": "public", "location": "/S", "time_create": "2024-06-03T20:55:36.489Z", "time_update": "2024-06-03T20:55:36.492Z" } }, { "model": "library.libraryitem", "pk": 36, "fields": { "item_type": "rsform", "owner": 3, "title": "Булева алгебра", "alias": "БК12", "comment": "", "visible": true, "read_only": false, "access_policy": "public", "location": "/S", "time_create": "2024-06-03T20:58:30.529Z", "time_update": "2024-06-03T20:58:32.512Z" } }, { "model": "library.libraryitem", "pk": 37, "fields": { "item_type": "rsform", "owner": 3, "title": "Генеалогия", "alias": "D0001", "comment": "построено на основе понятия \"родство\" из Википедии", "visible": true, "read_only": false, "access_policy": "public", "location": "/U/test", "time_create": "2024-06-03T20:59:40.845Z", "time_update": "2024-06-03T21:00:01.809Z" } }, { "model": "library.libraryitem", "pk": 38, "fields": { "item_type": "rsform", "owner": 1, "title": "Вещества и смеси", "alias": "КС Вещества", "comment": "", "visible": false, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T07:02:58.345Z", "time_update": "2024-08-02T08:12:02.994Z" } }, { "model": "library.libraryitem", "pk": 39, "fields": { "item_type": "rsform", "owner": 1, "title": "Объект-объектные отношения", "alias": "КС ООО", "comment": "", "visible": false, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T07:04:27.061Z", "time_update": "2024-08-02T08:12:06.878Z" } }, { "model": "library.libraryitem", "pk": 40, "fields": { "item_type": "rsform", "owner": 1, "title": "Процессы", "alias": "КС Процессы", "comment": "", "visible": false, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T07:06:59.641Z", "time_update": "2024-08-02T08:12:10.834Z" } }, { "model": "library.libraryitem", "pk": 41, "fields": { "item_type": "oss", "owner": 1, "title": "Экологические правоотношения", "alias": "ЭКОС", "comment": "", "visible": true, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T07:08:12.218Z", "time_update": "2024-08-02T11:53:36.734Z" } }, { "model": "library.libraryitem", "pk": 43, "fields": { "item_type": "rsform", "owner": 1, "title": "Объектная среда", "alias": "КС Объект-сред", "comment": "", "visible": false, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T11:52:30.658Z", "time_update": "2024-08-02T11:52:30.683Z" } }, { "model": "library.libraryitem", "pk": 44, "fields": { "item_type": "rsform", "owner": 1, "title": "Процессные среды", "alias": "КС Проц-сред", "comment": "", "visible": false, "read_only": false, "access_policy": "public", "location": "/S/ЭКОС", "time_create": "2024-08-02T11:53:36.619Z", "time_update": "2024-08-02T11:53:36.650Z" } }, { "model": "library.librarytemplate", "pk": 1, "fields": { "lib_source": 34 } }, { "model": "rsform.constituenta", "pk": 589, "fields": { "schema": 34, "order": 0, "alias": "T1", "cst_type": "theorem", "convention": "", "term_raw": "Управляющие конструкции", "term_resolved": "Управляющие конструкции", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 590, "fields": { "schema": 34, "order": 1, "alias": "F1", "cst_type": "function", "convention": "", "term_raw": "схема ограниченного выделения", "term_resolved": "схема ограниченного выделения", "term_forms": [], "definition_formal": "[α∈ℬ(R1)] D{ ξ∈α | ξ=ξ }", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 591, "fields": { "schema": 34, "order": 2, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "условный переход", "term_resolved": "условный переход", "term_forms": [], "definition_formal": "[α∈ℬ(R1)] debool(I{ α | 1=1} ∪ I{ α\\α | 1≠1})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 592, "fields": { "schema": 34, "order": 3, "alias": "F3", "cst_type": "function", "convention": "", "term_raw": "рекурсивное определение", "term_resolved": "рекурсивное определение", "term_forms": [], "definition_formal": "[α∈ℬ(R1)] R{ ξ:=α | ξ≠∅ | ξ\\ξ }", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 593, "fields": { "schema": 34, "order": 4, "alias": "T2", "cst_type": "theorem", "convention": "", "term_raw": "Бинарные отношения двух множеств", "term_resolved": "Бинарные отношения двух множеств", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 594, "fields": { "schema": 34, "order": 5, "alias": "F4", "cst_type": "function", "convention": "", "term_raw": "обратное отношение", "term_resolved": "обратное отношение", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R2)] Pr2,1(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 595, "fields": { "schema": 34, "order": 6, "alias": "P1", "cst_type": "predicate", "convention": "", "term_raw": "свойство всюдуопределенности", "term_resolved": "свойство всюдуопределенности", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr1(σ) = α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 596, "fields": { "schema": 34, "order": 7, "alias": "P2", "cst_type": "predicate", "convention": "", "term_raw": "свойство всюдузначности", "term_resolved": "свойство всюдузначности", "term_forms": [], "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr2(σ) = α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 597, "fields": { "schema": 34, "order": 8, "alias": "P3", "cst_type": "predicate", "convention": "", "term_raw": "свойство прямой однозначности", "term_resolved": "свойство прямой однозначности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 598, "fields": { "schema": 34, "order": 9, "alias": "P4", "cst_type": "predicate", "convention": "", "term_raw": "свойство обратной однозначности", "term_resolved": "свойство обратной однозначности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr2(σ)) = card(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 599, "fields": { "schema": 34, "order": 10, "alias": "P5", "cst_type": "predicate", "convention": "", "term_raw": "функция", "term_resolved": "функция", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ) & Pr1(σ) = α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 600, "fields": { "schema": 34, "order": 11, "alias": "F5", "cst_type": "function", "convention": "", "term_raw": "образ элемента", "term_resolved": "образ элемента", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] debool(Pr2(Fi1[{α}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 601, "fields": { "schema": 34, "order": 12, "alias": "F6", "cst_type": "function", "convention": "", "term_raw": "сечение по элементу", "term_resolved": "сечение по элементу", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] Pr2(Fi1[{α}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 602, "fields": { "schema": 34, "order": 13, "alias": "F7", "cst_type": "function", "convention": "", "term_raw": "прообраз значения", "term_resolved": "прообраз значения", "term_forms": [], "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] debool(Pr1(Fi2[{α}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 603, "fields": { "schema": 34, "order": 14, "alias": "F8", "cst_type": "function", "convention": "", "term_raw": "сечение по значению", "term_resolved": "сечение по значению", "term_forms": [], "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] Pr1(Fi2[{α}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 604, "fields": { "schema": 34, "order": 15, "alias": "F9", "cst_type": "function", "convention": "", "term_raw": "образ множества", "term_resolved": "образ множества", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr2(Fi1[α](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 605, "fields": { "schema": 34, "order": 16, "alias": "F10", "cst_type": "function", "convention": "", "term_raw": "прообраз множества", "term_resolved": "прообраз множества", "term_forms": [], "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr1(Fi2[α](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 606, "fields": { "schema": 34, "order": 17, "alias": "F11", "cst_type": "function", "convention": "", "term_raw": "композиция отношений", "term_resolved": "композиция отношений", "term_forms": [], "definition_formal": "[σ1∈ℬ(R1×R2), σ2∈ℬ(R2×R3)] \nI{(ξ1, ξ3) | (ξ1,ξ2):∈σ1; ξ3:∈Pr2(Fi1[{ξ2}](σ2))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 607, "fields": { "schema": 34, "order": 18, "alias": "T3", "cst_type": "theorem", "convention": "", "term_raw": "Бинарные отношения на множестве", "term_resolved": "Бинарные отношения на множестве", "term_forms": [], "definition_formal": "T2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 608, "fields": { "schema": 34, "order": 19, "alias": "F12", "cst_type": "function", "convention": "", "term_raw": "участники отношения", "term_resolved": "участники отношения", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ)∪Pr2(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 609, "fields": { "schema": 34, "order": 20, "alias": "P6", "cst_type": "predicate", "convention": "", "term_raw": "свойство полноты (линейности)", "term_resolved": "свойство полноты (линейности)", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] σ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 610, "fields": { "schema": 34, "order": 21, "alias": "P7", "cst_type": "predicate", "convention": "", "term_raw": "свойство симметричности", "term_resolved": "свойство симметричности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr2,1(σ) = σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 611, "fields": { "schema": 34, "order": 22, "alias": "P8", "cst_type": "predicate", "convention": "", "term_raw": "свойство антисимметричности", "term_resolved": "свойство антисимметричности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] (Pr2,1(σ)∩σ)\\Pr1,1(σ) = ∅", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 612, "fields": { "schema": 34, "order": 23, "alias": "P9", "cst_type": "predicate", "convention": "", "term_raw": "свойство рефлексивности", "term_resolved": "свойство рефлексивности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 613, "fields": { "schema": 34, "order": 24, "alias": "P10", "cst_type": "predicate", "convention": "", "term_raw": "свойство антирефлексивности", "term_resolved": "свойство антирефлексивности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ)∩σ = ∅", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 614, "fields": { "schema": 34, "order": 25, "alias": "P11", "cst_type": "predicate", "convention": "", "term_raw": "свойство транзитивности", "term_resolved": "свойство транзитивности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] ∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 615, "fields": { "schema": 34, "order": 26, "alias": "P12", "cst_type": "predicate", "convention": "", "term_raw": "свойство фундированности", "term_resolved": "свойство фундированности", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀γ∈ℬ(α) (γ≠∅ ⇒ card(F13[γ,σ])>0)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 616, "fields": { "schema": 34, "order": 27, "alias": "P13", "cst_type": "predicate", "convention": "", "term_raw": "существование infinum для отношения на данном !подмножестве!", "term_resolved": "существование infinum для отношения на данном !подмножестве!", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃ε∈α ((ε,ξ1)∈σ & (ε,ξ2)∈σ & ∀ξ3∈α\\{ε} ((ξ3,ξ1)∈σ & (ξ3,ξ2)∈σ ⇒ (ξ3,ε)∈σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 617, "fields": { "schema": 34, "order": 28, "alias": "P14", "cst_type": "predicate", "convention": "", "term_raw": "существование supremum для отношения на данном !подмножестве!", "term_resolved": "существование supremum для отношения на данном !подмножестве!", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃π∈α ((ξ1,π)∈σ & (ξ2,π)∈σ & ∀ξ3∈α\\{π} ((ξ1,ξ3)∈σ & (ξ2,ξ3)∈σ ⇒ (π,ξ3)∈σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 618, "fields": { "schema": 34, "order": 29, "alias": "P15", "cst_type": "predicate", "convention": "", "term_raw": "частичный порядок", "term_resolved": "частичный порядок", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 619, "fields": { "schema": 34, "order": 30, "alias": "P16", "cst_type": "predicate", "convention": "", "term_raw": "линейный порядок", "term_resolved": "линейный порядок", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ) & \nσ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 620, "fields": { "schema": 34, "order": 31, "alias": "F13", "cst_type": "function", "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] D{ξ∈α | ∀ω∈α\\{ξ} (ω, ξ)∉σ}", "term_raw": "минимальные элементы !порядка! на данном !подмножестве!", "term_resolved": "минимальные элементы !порядка! на данном !подмножестве!", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ Pr2(Fi1,2[α, α](σ))", "definition_raw": "элементы, для которых отсутствуют большие их элементы", "definition_resolved": "элементы, для которых отсутствуют большие их элементы" } }, { "model": "rsform.constituenta", "pk": 621, "fields": { "schema": 34, "order": 32, "alias": "F14", "cst_type": "function", "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(D{ξ∈α | ∀ω∈α\\{ξ} (ξ, ω)∈σ})", "term_raw": "наименьший элемент !порядка! на данном !подмножестве!", "term_resolved": "наименьший элемент !порядка! на данном !подмножестве!", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(I{ β | δ1:=Fi1,2[α, α](σ); δ2:=δ1\\Pr1,1(δ1); β:=Pr1(δ2)\\Pr2(δ2) })", "definition_raw": "элементы, меньшие или равные всем остальным", "definition_resolved": "элементы, меньшие или равные всем остальным" } }, { "model": "rsform.constituenta", "pk": 622, "fields": { "schema": 34, "order": 33, "alias": "P17", "cst_type": "predicate", "convention": "", "term_raw": "эквивалентность", "term_resolved": "эквивалентность", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", "definition_raw": "транзитивное рефлексивное симметричное бинарное отношение", "definition_resolved": "транзитивное рефлексивное симметричное бинарное отношение" } }, { "model": "rsform.constituenta", "pk": 623, "fields": { "schema": 34, "order": 34, "alias": "F15", "cst_type": "function", "convention": "", "term_raw": "класс эквивалентности !элемента!", "term_resolved": "класс эквивалентности !элемента!", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 624, "fields": { "schema": 34, "order": 35, "alias": "P18", "cst_type": "predicate", "convention": "", "term_raw": "толерантность", "term_resolved": "толерантность", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 625, "fields": { "schema": 34, "order": 36, "alias": "T4", "cst_type": "theorem", "convention": "", "term_raw": "Цепочки", "term_resolved": "Цепочки", "term_forms": [], "definition_formal": "T2 & T3", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 626, "fields": { "schema": 34, "order": 37, "alias": "P19", "cst_type": "predicate", "convention": "", "term_raw": "условие связности цепочки", "term_resolved": "условие связности цепочки", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)]\ncard(Pr1(σ)) = card(σ) & card(Pr2(σ)) = card(σ) &\ncard(Pr1(σ) \\ Pr2(σ)) = 1 & card(Pr2(σ) \\ Pr1(σ)) = 1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 627, "fields": { "schema": 34, "order": 38, "alias": "F16", "cst_type": "function", "convention": "", "term_raw": "начало цепочки", "term_resolved": "начало цепочки", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr1(σ) \\ Pr2(σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 628, "fields": { "schema": 34, "order": 39, "alias": "F17", "cst_type": "function", "convention": "", "term_raw": "конец цепочки", "term_resolved": "конец цепочки", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr2(σ) \\ Pr1(σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 629, "fields": { "schema": 34, "order": 40, "alias": "F18", "cst_type": "function", "convention": "", "term_raw": "следующий за данным !элемент! цепочки", "term_resolved": "следующий за данным !элемент! цепочки", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr2(Fi1[{α}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 630, "fields": { "schema": 34, "order": 41, "alias": "F19", "cst_type": "function", "convention": "", "term_raw": "предшествующий данному !элемент! цепочки", "term_resolved": "предшествующий данному !элемент! цепочки", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr1(Fi2[{α}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 631, "fields": { "schema": 34, "order": 42, "alias": "T5", "cst_type": "theorem", "convention": "", "term_raw": "Графы", "term_resolved": "Графы", "term_forms": [], "definition_formal": "T2 & T3", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 632, "fields": { "schema": 34, "order": 43, "alias": "P20", "cst_type": "predicate", "convention": "", "term_raw": "неориентированный граф", "term_resolved": "неориентированный граф", "term_forms": [], "definition_formal": "[γ∈ℬ(R1)×ℬ(R1×R1)] pr2(γ) = Pr2,1(pr2(γ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 633, "fields": { "schema": 34, "order": 44, "alias": "F20", "cst_type": "function", "convention": "", "term_raw": "истоки", "term_resolved": "истоки", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) \\ Pr2(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 634, "fields": { "schema": 34, "order": 45, "alias": "F21", "cst_type": "function", "convention": "", "term_raw": "стоки", "term_resolved": "стоки", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr2(σ) \\ Pr1(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 635, "fields": { "schema": 34, "order": 46, "alias": "F22", "cst_type": "function", "convention": "", "term_raw": "изолированные вершины", "term_resolved": "изолированные вершины", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ (Pr2(σ) ∪ Pr1(σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 636, "fields": { "schema": 34, "order": 47, "alias": "F23", "cst_type": "function", "convention": "", "term_raw": "потребители", "term_resolved": "потребители", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 637, "fields": { "schema": 34, "order": 48, "alias": "F24", "cst_type": "function", "convention": "", "term_raw": "поставщики", "term_resolved": "поставщики", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr1(Fi2[{α}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 638, "fields": { "schema": 34, "order": 49, "alias": "F25", "cst_type": "function", "convention": "", "term_raw": "зависимые вершины", "term_resolved": "зависимые вершины", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[{α}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", "definition_raw": "вершины, достижимые из данной", "definition_resolved": "вершины, достижимые из данной" } }, { "model": "rsform.constituenta", "pk": 639, "fields": { "schema": 34, "order": 50, "alias": "F26", "cst_type": "function", "convention": "", "term_raw": "зависимые вершины совокупности", "term_resolved": "зависимые вершины совокупности", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[α](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 640, "fields": { "schema": 34, "order": 51, "alias": "F27", "cst_type": "function", "convention": "", "term_raw": "влияющие вершины", "term_resolved": "влияющие вершины", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[{α}](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }", "definition_raw": "вершины, из которых данная вершина достижима", "definition_resolved": "вершины, из которых данная вершина достижима" } }, { "model": "rsform.constituenta", "pk": 641, "fields": { "schema": 34, "order": 52, "alias": "F28", "cst_type": "function", "convention": "", "term_raw": "влияющие вершины совокупности", "term_resolved": "влияющие вершины совокупности", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[α](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 642, "fields": { "schema": 34, "order": 53, "alias": "P21", "cst_type": "predicate", "convention": "", "term_raw": "цикл", "term_resolved": "цикл", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) = Pr2(σ)", "definition_raw": "совокупность связей, в которой из каждой вершины в каждую другую есть путь", "definition_resolved": "совокупность связей, в которой из каждой вершины в каждую другую есть путь" } }, { "model": "rsform.constituenta", "pk": 643, "fields": { "schema": 34, "order": 54, "alias": "P22", "cst_type": "predicate", "convention": "", "term_raw": "свойство ацикличности", "term_resolved": "свойство ацикличности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈Pr1(σ) γ∉R{ ξ:=Pr2(Fi1[{γ}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", "definition_raw": "в ацикличном графе никакая вершина не является собственной зависимой вершиной", "definition_resolved": "в ацикличном графе никакая вершина не является собственной зависимой вершиной" } }, { "model": "rsform.constituenta", "pk": 644, "fields": { "schema": 34, "order": 55, "alias": "P23", "cst_type": "predicate", "convention": "", "term_raw": "свойство ацикличности (декларативная формулировка)", "term_resolved": "свойство ацикличности (декларативная формулировка)", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈ℬ(σ) Pr1(γ) ≠ Pr2(γ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 645, "fields": { "schema": 34, "order": 56, "alias": "F29", "cst_type": "function", "convention": "", "term_raw": "транзитивное замыкание", "term_resolved": "транзитивное замыкание", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] I{(ξ1, ξ2) | ξ1:∈Pr1(σ); ξ2:∈F25[ξ1, σ]}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 646, "fields": { "schema": 34, "order": 57, "alias": "F30", "cst_type": "function", "convention": "", "term_raw": "транзитивная редукция", "term_resolved": "транзитивная редукция", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] σ \\ I{(ξ1, ξ2) | ξ1:∈Pr1(σ); γ:=F23[ξ1, σ]; ξ2:∈γ∩F26[γ, σ]}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 647, "fields": { "schema": 34, "order": 58, "alias": "P24", "cst_type": "predicate", "convention": "1", "term_raw": "дерево", "term_resolved": "дерево", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R1)] card(Pr1(σ)\\Pr2(σ)) = 1 & card(Pr2(σ)) = card(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 648, "fields": { "schema": 34, "order": 59, "alias": "T6", "cst_type": "theorem", "convention": "", "term_raw": "Целые числа", "term_resolved": "Целые числа", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 649, "fields": { "schema": 34, "order": 60, "alias": "F31", "cst_type": "function", "convention": "", "term_raw": "минимум набора чисел", "term_resolved": "минимум набора чисел", "term_forms": [], "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≤ ξ})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 650, "fields": { "schema": 34, "order": 61, "alias": "F32", "cst_type": "function", "convention": "", "term_raw": "максимум набора чисел", "term_resolved": "максимум набора чисел", "term_forms": [], "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≥ ξ})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 651, "fields": { "schema": 34, "order": 62, "alias": "F33", "cst_type": "function", "convention": "", "term_raw": "натуральные числа, меньшие или равные данному", "term_resolved": "натуральные числа, меньшие или равные данному", "term_forms": [], "definition_formal": "[α∈Z] R{(ξ,σ):=(0, {0}) | ξ<α | (ξ+1, σ ∪ {ξ+1})}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 652, "fields": { "schema": 34, "order": 63, "alias": "P25", "cst_type": "predicate", "convention": "", "term_raw": "набор чисел, удовлетворяющий данному периоду", "term_resolved": "набор чисел, удовлетворяющий данному периоду", "term_forms": [], "definition_formal": "[σ∈ℬ(Z), τ∈Z] ∀α∈σ (α+τ ≤ F32[σ] ⇒ α+τ∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 653, "fields": { "schema": 34, "order": 64, "alias": "F34", "cst_type": "function", "convention": "", "term_raw": "периоды данного набора чисел", "term_resolved": "периоды данного набора чисел", "term_forms": [], "definition_formal": "[σ∈ℬ(Z)] pr1(R{\n(γ, τ) := (∅, F31[σ]) | \nτ ≠ F32[σ] | \n(γ ∪ I{τ | P25[σ, τ]}, τ + 1)})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 654, "fields": { "schema": 34, "order": 65, "alias": "T7", "cst_type": "theorem", "convention": "", "term_raw": "Последовательности", "term_resolved": "Последовательности", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 655, "fields": { "schema": 34, "order": 66, "alias": "P26", "cst_type": "predicate", "convention": "", "term_raw": "корректная последовательность (позиции нумеруются с нуля)", "term_resolved": "корректная последовательность (позиции нумеруются с нуля)", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) λ < card(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 656, "fields": { "schema": 34, "order": 67, "alias": "P27", "cst_type": "predicate", "convention": "", "term_raw": "корректная последовательность (позиции нумеруются с единицы)", "term_resolved": "корректная последовательность (позиции нумеруются с единицы)", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) (λ ≤ card(σ) & λ > 0)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 657, "fields": { "schema": 34, "order": 68, "alias": "F35", "cst_type": "function", "convention": "", "term_raw": "начало последовательности", "term_resolved": "начало последовательности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{0}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 658, "fields": { "schema": 34, "order": 69, "alias": "F36", "cst_type": "function", "convention": "", "term_raw": "конец последовательности", "term_resolved": "конец последовательности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{card(σ) - 1}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 659, "fields": { "schema": 34, "order": 70, "alias": "F37", "cst_type": "function", "convention": "", "term_raw": "следующий за данным !элемент! последовательности", "term_resolved": "следующий за данным !элемент! последовательности", "term_forms": [], "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) + 1}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 660, "fields": { "schema": 34, "order": 71, "alias": "F38", "cst_type": "function", "convention": "", "term_raw": "предыдущий данному !элемент! последовательности", "term_resolved": "предыдущий данному !элемент! последовательности", "term_forms": [], "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) - 1}](σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 661, "fields": { "schema": 34, "order": 72, "alias": "F39", "cst_type": "function", "convention": "", "term_raw": "обращенная последовательность", "term_resolved": "обращенная последовательность", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] I{(α, λ) | (α,μ):∈σ; λ := card(σ) - μ - 1}", "definition_raw": "не определен для последнего элемента", "definition_resolved": "не определен для последнего элемента" } }, { "model": "rsform.constituenta", "pk": 662, "fields": { "schema": 34, "order": 73, "alias": "P28", "cst_type": "predicate", "convention": "", "term_raw": "подпоследовательность", "term_resolved": "подпоследовательность", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] card(σ) = card(Pr2(σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 663, "fields": { "schema": 34, "order": 74, "alias": "F40", "cst_type": "function", "convention": "", "term_raw": "последовательность, построенная из данной подпоследовательности", "term_resolved": "последовательность, построенная из данной подпоследовательности", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×Z)] pr1(R{\n(γ, α):=(∅, σ) | α≠∅ | \ndebool(I{(γ2, α2) | τ := F31[Pr2(α)]; ξ := debool(F8[τ,σ]); \nγ2 := γ ∪ {(ξ, card(γ))}; α2 := α \\ {(ξ,τ)}})})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 664, "fields": { "schema": 34, "order": 75, "alias": "T8", "cst_type": "theorem", "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию", "term_raw": "Групповые операции", "term_resolved": "Групповые операции", "term_forms": [], "definition_formal": "T10", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 665, "fields": { "schema": 34, "order": 76, "alias": "F41", "cst_type": "function", "convention": "", "term_raw": "результат операции для данных аргументов", "term_resolved": "результат операции для данных аргументов", "term_forms": [], "definition_formal": "[α∈R1, β∈R1, σ∈ℬ((R1×R1)×R1)] debool(Pr2(Fi1[{(α,β)}](σ)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 666, "fields": { "schema": 34, "order": 77, "alias": "F42", "cst_type": "function", "convention": "например ноль для операции умножения целых чисел", "term_raw": "инвариантные элементы", "term_resolved": "инвариантные элементы", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),ξ)∈σ & ((ξ,α),ξ)∈σ)}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 667, "fields": { "schema": 34, "order": 78, "alias": "F43", "cst_type": "function", "convention": "", "term_raw": "нейтральные элементы", "term_resolved": "нейтральные элементы", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),α)∈σ & ((ξ,α),α)∈σ)}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 668, "fields": { "schema": 34, "order": 79, "alias": "F44", "cst_type": "function", "convention": "", "term_raw": "идемпотентные элементы", "term_resolved": "идемпотентные элементы", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ((ξ,ξ),ξ)∈σ}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 669, "fields": { "schema": 34, "order": 80, "alias": "F45", "cst_type": "function", "convention": "", "term_raw": "обратные элементы для данного элемента", "term_resolved": "обратные элементы для данного элемента", "term_forms": [], "definition_formal": "[α∈R1, σ∈ℬ((R1×R1)×R1)] D{ω∈Pr1(Pr1(σ)) | F41[α,ω,σ]∈F43[σ] & F41[ω,α,σ]∈F43[σ]}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 670, "fields": { "schema": 34, "order": 81, "alias": "F46", "cst_type": "function", "convention": "", "term_raw": "элемент, являющийся данной степенью данного элемента", "term_resolved": "элемент, являющийся данной степенью данного элемента", "term_forms": [], "definition_formal": "[α∈R1, λ∈Z, σ∈ℬ((R1×R1)×R1)] pr1(R{(ξ, μ) := (α, 1) | μ<λ & λ>0 | (F41[ξ,α,σ], μ + 1)})", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 671, "fields": { "schema": 34, "order": 82, "alias": "P29", "cst_type": "predicate", "convention": "", "term_raw": "свойство замкнутости и однозначности", "term_resolved": "свойство замкнутости и однозначности", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] Pr1(σ) = α×α & card(σ) = card(Pr1(σ))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 672, "fields": { "schema": 34, "order": 83, "alias": "P30", "cst_type": "predicate", "convention": "", "term_raw": "свойство ассоциативности", "term_resolved": "свойство ассоциативности", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(σ)) F41[F41[α,β,σ],γ,σ] = F41[α,F41[β,γ,σ],σ]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 673, "fields": { "schema": 34, "order": 84, "alias": "P31", "cst_type": "predicate", "convention": "", "term_raw": "свойство коммутативности", "term_resolved": "свойство коммутативности", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 674, "fields": { "schema": 34, "order": 85, "alias": "P32", "cst_type": "predicate", "convention": "", "term_raw": "свойство идемпотентности", "term_resolved": "свойство идемпотентности", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 675, "fields": { "schema": 34, "order": 86, "alias": "P33", "cst_type": "predicate", "convention": "", "term_raw": "свойство цикличности", "term_resolved": "свойство цикличности", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∃α∈Pr1(Pr1(σ)) ∀β∈Pr1(Pr1(σ)) ∃μ∈Z F46[α,μ,σ] = β", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 676, "fields": { "schema": 34, "order": 87, "alias": "P34", "cst_type": "predicate", "convention": "", "term_raw": "группоид", "term_resolved": "группоид", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ]", "definition_raw": "всюдуопределенная замкнутая функция пары элементов некоторого множества", "definition_resolved": "всюдуопределенная замкнутая функция пары элементов некоторого множества" } }, { "model": "rsform.constituenta", "pk": 677, "fields": { "schema": 34, "order": 88, "alias": "P35", "cst_type": "predicate", "convention": "", "term_raw": "полугруппа", "term_resolved": "полугруппа", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ]", "definition_raw": "ассоциативный группоид", "definition_resolved": "ассоциативный группоид" } }, { "model": "rsform.constituenta", "pk": 678, "fields": { "schema": 34, "order": 89, "alias": "P36", "cst_type": "predicate", "convention": "", "term_raw": "моноид", "term_resolved": "моноид", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0", "definition_raw": "полугруппа, в которой существует нейтральный элемент", "definition_resolved": "полугруппа, в которой существует нейтральный элемент" } }, { "model": "rsform.constituenta", "pk": 679, "fields": { "schema": 34, "order": 90, "alias": "P37", "cst_type": "predicate", "convention": "", "term_raw": "группа", "term_resolved": "группа", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0", "definition_raw": "моноид, в котором для каждого элемента существует обратный", "definition_resolved": "моноид, в котором для каждого элемента существует обратный" } }, { "model": "rsform.constituenta", "pk": 680, "fields": { "schema": 34, "order": 91, "alias": "P38", "cst_type": "predicate", "convention": "", "term_raw": "абелева группа", "term_resolved": "абелева группа", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0 & P31[σ]", "definition_raw": "коммутативная группа", "definition_resolved": "коммутативная группа" } }, { "model": "rsform.constituenta", "pk": 681, "fields": { "schema": 34, "order": 92, "alias": "T9", "cst_type": "theorem", "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию\nОперации по умолчанию считаются группоидами", "term_raw": "Кольца", "term_resolved": "Кольца", "term_forms": [], "definition_formal": "T8", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 682, "fields": { "schema": 34, "order": 93, "alias": "P39", "cst_type": "predicate", "convention": "", "term_raw": "свойство дистрибутивности φψ", "term_resolved": "свойство дистрибутивности φψ", "term_forms": [], "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(φ)) (\n F41[α, F41[β, γ, φ], ψ] = F41[F41[α, β, ψ], F41[α, γ, ψ], φ] &\n F41[F41[α, β, φ], γ, ψ] = F41[F41[α, γ, ψ], F41[β, γ, ψ], φ]\n)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 683, "fields": { "schema": 34, "order": 94, "alias": "P40", "cst_type": "predicate", "convention": "", "term_raw": "свойство поглощения φψ", "term_resolved": "свойство поглощения φψ", "term_forms": [], "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β∈Pr1(Pr1(φ)) (\n F41[α, F41[α, β, φ], ψ] = α & F41[F41[α, β, φ], α, ψ] = α &\n F41[α, F41[β, α, φ], ψ] = α & F41[F41[β, α, φ], α, ψ] = α\n)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 684, "fields": { "schema": 34, "order": 95, "alias": "P41", "cst_type": "predicate", "convention": "", "term_raw": "полукольцо", "term_resolved": "полукольцо", "term_forms": [], "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP36[α, φ] & P31[φ] & P35[α, ψ] & P39[φ, ψ]", "definition_raw": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения", "definition_resolved": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения" } }, { "model": "rsform.constituenta", "pk": 685, "fields": { "schema": 34, "order": 96, "alias": "P42", "cst_type": "predicate", "convention": "", "term_raw": "кольцо", "term_resolved": "кольцо", "term_forms": [], "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ]", "definition_raw": "полукольцо, в котором для умножения существуют обратные элементы", "definition_resolved": "полукольцо, в котором для умножения существуют обратные элементы" } }, { "model": "rsform.constituenta", "pk": 686, "fields": { "schema": 34, "order": 97, "alias": "P43", "cst_type": "predicate", "convention": "", "term_raw": "тело", "term_resolved": "тело", "term_forms": [], "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0", "definition_raw": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения", "definition_resolved": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения" } }, { "model": "rsform.constituenta", "pk": 687, "fields": { "schema": 34, "order": 98, "alias": "P44", "cst_type": "predicate", "convention": "", "term_raw": "поле", "term_resolved": "поле", "term_forms": [], "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP38[α, φ] & P35[α, ψ] & P31[ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0", "definition_raw": "тело, в котором умножение обладает коммутативностью", "definition_resolved": "тело, в котором умножение обладает коммутативностью" } }, { "model": "rsform.constituenta", "pk": 688, "fields": { "schema": 34, "order": 99, "alias": "P45", "cst_type": "predicate", "convention": "", "term_raw": "свойство покрытия", "term_resolved": "свойство покрытия", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 689, "fields": { "schema": 34, "order": 100, "alias": "P46", "cst_type": "predicate", "convention": "", "term_raw": "алгебраическая решетка", "term_resolved": "алгебраическая решетка", "term_forms": [], "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP35[α, φ] & P31[φ] & P35[α, ψ] & P31[ψ] & P40[φ, ψ] & P40[ψ, φ]", "definition_raw": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением", "definition_resolved": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением" } }, { "model": "rsform.constituenta", "pk": 690, "fields": { "schema": 34, "order": 101, "alias": "T10", "cst_type": "theorem", "convention": "", "term_raw": "Множества подмножеств", "term_resolved": "Множества подмножеств", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 691, "fields": { "schema": 34, "order": 102, "alias": "P47", "cst_type": "predicate", "convention": "", "term_raw": "свойство попарного непересечения", "term_resolved": "свойство попарного непересечения", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (α≠β ⇒ α∩β=∅)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 692, "fields": { "schema": 34, "order": 103, "alias": "P48", "cst_type": "predicate", "convention": "", "term_raw": "свойство замкнутости по объединению", "term_resolved": "свойство замкнутости по объединению", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∪β∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 693, "fields": { "schema": 34, "order": 104, "alias": "P49", "cst_type": "predicate", "convention": "", "term_raw": "свойство замкнутости по пересечению", "term_resolved": "свойство замкнутости по пересечению", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∩β∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 694, "fields": { "schema": 34, "order": 105, "alias": "P50", "cst_type": "predicate", "convention": "", "term_raw": "свойство замкнутости по надмножеству", "term_resolved": "свойство замкнутости по надмножеству", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈σ (ξ≠∅ ⇒ ∀δ∈α\\ξ ξ∪{δ}∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 695, "fields": { "schema": 34, "order": 106, "alias": "P51", "cst_type": "predicate", "convention": "", "term_raw": "свойство полноты подмножеств", "term_resolved": "свойство полноты подмножеств", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈ℬ(α) ¬(ξ∈σ ⇔ α\\ξ∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 696, "fields": { "schema": 34, "order": 107, "alias": "P52", "cst_type": "predicate", "convention": "", "term_raw": "разбиение", "term_resolved": "разбиение", "term_forms": [], "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ) & ∀ξ1,ξ2∈σ (ξ1≠ξ2 ⇒ ξ1∩ξ2=∅)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 697, "fields": { "schema": 34, "order": 108, "alias": "F47", "cst_type": "function", "convention": "", "term_raw": "множество-пересечение", "term_resolved": "множество-пересечение", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] D{ξ∈red(σ) | ∀β∈σ (ξ∈β)}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 698, "fields": { "schema": 34, "order": 109, "alias": "P53", "cst_type": "predicate", "convention": "", "term_raw": "вложенные подмножества", "term_resolved": "вложенные подмножества", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (card(α)≤card(β) ⇒ α⊆β)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 699, "fields": { "schema": 34, "order": 110, "alias": "P54", "cst_type": "predicate", "convention": "", "term_raw": "вложенные подмножества (декларативно)", "term_resolved": "вложенные подмножества (декларативно)", "term_forms": [], "definition_formal": "[σ∈ℬℬ(R1)] ∀γ∈ℬ(σ) (σ≠∅ ⇒ red(σ)∈σ)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 700, "fields": { "schema": 35, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "", "term_raw": "элементы", "term_resolved": "элементы", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 701, "fields": { "schema": 35, "order": 1, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "операция", "term_resolved": "операция", "term_forms": [], "definition_formal": "ℬ((X1×X1)×X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 702, "fields": { "schema": 35, "order": 2, "alias": "F1", "cst_type": "function", "convention": "", "term_raw": "результат операции для данных аргументов", "term_resolved": "результат операции для данных аргументов", "term_forms": [], "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 703, "fields": { "schema": 35, "order": 3, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "свойство замкнутости", "term_resolved": "свойство замкнутости", "term_forms": [], "definition_formal": "Pr1(S1) = X1×X1 & card(S1) = card(Pr1(S1))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 704, "fields": { "schema": 35, "order": 4, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "свойство ассоциативности", "term_resolved": "свойство ассоциативности", "term_forms": [], "definition_formal": "∀α,β,γ∈X1 F1[F1[α,β],γ]=F1[α,F1[β,γ]]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 705, "fields": { "schema": 35, "order": 5, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "нейтральные элементы", "term_resolved": "нейтральные элементы", "term_forms": [], "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=α}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 706, "fields": { "schema": 35, "order": 6, "alias": "A3", "cst_type": "axiom", "convention": "", "term_raw": "существование нейтрального элемента", "term_resolved": "существование нейтрального элемента", "term_forms": [], "definition_formal": "card(D1)>0", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 707, "fields": { "schema": 35, "order": 7, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "обратный данному элементу элемент", "term_resolved": "обратный данному элементу элемент", "term_forms": [], "definition_formal": "[αα∈X1] D{αω∈X1 | F1[αα,αω]∈D1 & F1[αω,αα]∈D1}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 708, "fields": { "schema": 35, "order": 8, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "инвариантные элементы", "term_resolved": "инвариантные элементы", "term_forms": [], "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=ξ}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 709, "fields": { "schema": 35, "order": 9, "alias": "A4", "cst_type": "axiom", "convention": "", "term_raw": "существования всех обратных элементов", "term_resolved": "существования всех обратных элементов", "term_forms": [], "definition_formal": "∀α∈X1 card(F2[α])>0", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 710, "fields": { "schema": 35, "order": 10, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "коммутативные совокупности аргументов", "term_resolved": "коммутативные совокупности аргументов", "term_forms": [], "definition_formal": "I{{α, β} | α:∈X1; β:∈X1; α≠β; F1[α,β]=F1[β,α]}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 711, "fields": { "schema": 35, "order": 11, "alias": "A5", "cst_type": "axiom", "convention": "", "term_raw": "условие коммутативности", "term_resolved": "условие коммутативности", "term_forms": [], "definition_formal": "∀α,β∈X1 F1[α,β]=F1[β,α]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 712, "fields": { "schema": 35, "order": 12, "alias": "A6", "cst_type": "axiom", "convention": "", "term_raw": "условие идемпотентности", "term_resolved": "условие идемпотентности", "term_forms": [], "definition_formal": "∀α∈X1 F1[α,α]=α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 713, "fields": { "schema": 36, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "", "term_raw": "элементы", "term_resolved": "элементы", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 714, "fields": { "schema": 36, "order": 1, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "операция И", "term_resolved": "операция И", "term_forms": [], "definition_formal": "ℬ((X1×X1)×X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 715, "fields": { "schema": 36, "order": 2, "alias": "S2", "cst_type": "structure", "convention": "", "term_raw": "операция ИЛИ", "term_resolved": "операция ИЛИ", "term_forms": [], "definition_formal": "ℬ((X1×X1)×X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 716, "fields": { "schema": 36, "order": 3, "alias": "S3", "cst_type": "structure", "convention": "", "term_raw": "операция НЕ", "term_resolved": "операция НЕ", "term_forms": [], "definition_formal": "ℬ(X1×X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 717, "fields": { "schema": 36, "order": 4, "alias": "S4", "cst_type": "structure", "convention": "", "term_raw": "значение ИСТИНА", "term_resolved": "значение ИСТИНА", "term_forms": [], "definition_formal": "X1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 718, "fields": { "schema": 36, "order": 5, "alias": "S5", "cst_type": "structure", "convention": "", "term_raw": "значение ЛОЖЬ", "term_resolved": "значение ЛОЖЬ", "term_forms": [], "definition_formal": "X1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 719, "fields": { "schema": 36, "order": 6, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "результат операции И для данных аргументов", "term_resolved": "результат операции И для данных аргументов", "term_forms": [], "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 720, "fields": { "schema": 36, "order": 7, "alias": "F3", "cst_type": "function", "convention": "", "term_raw": "результат операции ИЛИ для данных аргументов", "term_resolved": "результат операции ИЛИ для данных аргументов", "term_forms": [], "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S2)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 721, "fields": { "schema": 36, "order": 8, "alias": "F4", "cst_type": "function", "convention": "", "term_raw": "результат операции НЕ для данного аргумента", "term_resolved": "результат операции НЕ для данного аргумента", "term_forms": [], "definition_formal": "[α∈X1] debool(Pr2(Fi1[{α}](S3)))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 722, "fields": { "schema": 36, "order": 9, "alias": "P1", "cst_type": "predicate", "convention": "", "term_raw": "прямая однозначность", "term_resolved": "прямая однозначность", "term_forms": [], "definition_formal": "[σ∈ℬ(R1×R2)] ∀α∈Pr1(σ) card(Pr2(Fi1[{α}](σ))) = 1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 723, "fields": { "schema": 36, "order": 10, "alias": "P2", "cst_type": "predicate", "convention": "", "term_raw": "идемпотентность", "term_resolved": "идемпотентность", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 724, "fields": { "schema": 36, "order": 11, "alias": "P3", "cst_type": "predicate", "convention": "", "term_raw": "коммутативность", "term_resolved": "коммутативность", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 725, "fields": { "schema": 36, "order": 12, "alias": "P4", "cst_type": "predicate", "convention": "", "term_raw": "ассоциативность", "term_resolved": "ассоциативность", "term_forms": [], "definition_formal": "[σ∈ℬ((R1×R1)×R1)] \n∀α1,α2,α3∈Pr1(Pr1(σ)) F1[(F1[(α1, α2),σ],α3),σ] = F1[(α1,F1[(α2, α3), σ]),σ]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 726, "fields": { "schema": 36, "order": 13, "alias": "P5", "cst_type": "predicate", "convention": "", "term_raw": "поглощение бинарных операций", "term_resolved": "поглощение бинарных операций", "term_forms": [], "definition_formal": "[σ1∈ℬ((R1×R1)×R1), σ2∈ℬ((R1×R1)×R1)] \n∀(α1,α2)∈Pr1(σ1) F1[(F1[(α1, α2),σ1],α1),σ2] = α1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 727, "fields": { "schema": 36, "order": 14, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "@{P1|nomn,sing} @{S1|gent,sing}", "term_resolved": "прямая однозначность операции И", "term_forms": [], "definition_formal": "P1[S1]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 728, "fields": { "schema": 36, "order": 15, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "@{P1|nomn,sing} @{S2|gent,sing}", "term_resolved": "прямая однозначность операции ИЛИ", "term_forms": [], "definition_formal": "P1[S2]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 729, "fields": { "schema": 36, "order": 16, "alias": "A3", "cst_type": "axiom", "convention": "", "term_raw": "@{P2|nomn,sing} @{S1|gent,sing}", "term_resolved": "идемпотентность операции И", "term_forms": [], "definition_formal": "P2[S1]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 730, "fields": { "schema": 36, "order": 17, "alias": "A4", "cst_type": "axiom", "convention": "", "term_raw": "@{P2|nomn,sing} @{S2|gent,sing}", "term_resolved": "идемпотентность операции ИЛИ", "term_forms": [], "definition_formal": "P2[S2]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 731, "fields": { "schema": 36, "order": 18, "alias": "A5", "cst_type": "axiom", "convention": "", "term_raw": "@{P3|nomn,sing} @{S1|gent,sing}", "term_resolved": "коммутативность операции И", "term_forms": [], "definition_formal": "P3[S1]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 732, "fields": { "schema": 36, "order": 19, "alias": "A6", "cst_type": "axiom", "convention": "", "term_raw": "@{P3|nomn,sing} @{S2|gent,sing}", "term_resolved": "коммутативность операции ИЛИ", "term_forms": [], "definition_formal": "P3[S2]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 733, "fields": { "schema": 36, "order": 20, "alias": "A7", "cst_type": "axiom", "convention": "", "term_raw": "@{P4|nomn,sing} @{S1|gent,sing}", "term_resolved": "ассоциативность операции И", "term_forms": [], "definition_formal": "P4[S1]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 734, "fields": { "schema": 36, "order": 21, "alias": "A8", "cst_type": "axiom", "convention": "", "term_raw": "@{P4|nomn,sing} @{S2|gent,sing}", "term_resolved": "ассоциативность операции ИЛИ", "term_forms": [], "definition_formal": "P4[S2]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 735, "fields": { "schema": 36, "order": 22, "alias": "A9", "cst_type": "axiom", "convention": "", "term_raw": "поглощение @{S1|gent,sing} @{S2|ablt,sing}", "term_resolved": "поглощение операции И операцией ИЛИ", "term_forms": [], "definition_formal": "P5[S1,S2]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 736, "fields": { "schema": 36, "order": 23, "alias": "A10", "cst_type": "axiom", "convention": "", "term_raw": "поглощение @{S2|gent,sing} @{S1|ablt,sing}", "term_resolved": "поглощение операции ИЛИ операцией И", "term_forms": [], "definition_formal": "P5[S2,S1]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 737, "fields": { "schema": 37, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "Различимые в предметной области люди", "term_raw": "индивиды", "term_resolved": "индивиды", "term_forms": [], "definition_formal": "", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 738, "fields": { "schema": 37, "order": 1, "alias": "S1", "cst_type": "structure", "convention": "Пол человека устанавливается в соответствии с документами", "term_raw": "мужчины", "term_resolved": "мужчины", "term_forms": [], "definition_formal": "ℬ(X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 739, "fields": { "schema": 37, "order": 2, "alias": "S2", "cst_type": "structure", "convention": "Пол человека устанавливается в соответствии с документами", "term_raw": "женщины", "term_resolved": "женщины", "term_forms": [], "definition_formal": "ℬ(X1)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 740, "fields": { "schema": 37, "order": 3, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "условие разбиения индивидов на @{S1|gent,plur} и @{S2|gent,plur}", "term_resolved": "условие разбиения индивидов на мужчин и женщин", "term_forms": [], "definition_formal": "S1∪S2=X1 & S1∩S2=∅", "definition_raw": "каждый индивид является либо мужчиной либо женщиной", "definition_resolved": "каждый индивид является либо мужчиной либо женщиной" } }, { "model": "rsform.constituenta", "pk": 741, "fields": { "schema": 37, "order": 4, "alias": "S3", "cst_type": "structure", "convention": "устанавливается на основе документов, подтверждающих факт рождения или паспорта родителя", "term_raw": "отношение @{D2|nomn,sing} - @{D1|nomn,sing}", "term_resolved": "отношение родитель - ребёнок", "term_forms": [ { "tags": "sing,ablt", "text": "отношением родитель - ребёнок" }, { "tags": "sing,accs", "text": "отношение родитель - ребёнок" }, { "tags": "sing,datv", "text": "отношению родитель - ребёнок" }, { "tags": "sing,gent", "text": "отношения родитель - ребёнок" }, { "tags": "sing,nomn", "text": "отношение родитель - ребёнок" }, { "tags": "sing,loct", "text": "отношение родителе - ребёнок" }, { "tags": "plur,nomn", "text": "отношение родители - ребёнок" }, { "tags": "plur,gent", "text": "отношение родителей - ребёнок" }, { "tags": "plur,datv", "text": "отношение родителям - ребёнок" }, { "tags": "plur,accs", "text": "отношение родителей - ребёнок" }, { "tags": "plur,ablt", "text": "отношение родителями - ребёнок" }, { "tags": "plur,loct", "text": "отношение родителях - ребёнок" } ], "definition_formal": "ℬ(X1×X1)", "definition_raw": "множество пар: @{D2|nomn,sing} и его @{D1|nomn,sing}", "definition_resolved": "множество пар: родитель и его ребёнок" } }, { "model": "rsform.constituenta", "pk": 742, "fields": { "schema": 37, "order": 5, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "дети", "term_resolved": "дети", "term_forms": [], "definition_formal": "Pr2(S3)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 743, "fields": { "schema": 37, "order": 6, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "родители", "term_resolved": "родители", "term_forms": [], "definition_formal": "Pr1(S3)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 744, "fields": { "schema": 37, "order": 7, "alias": "F1", "cst_type": "function", "convention": "", "term_raw": "@{D2|nomn,plur} @{X1|sing,gent}", "term_resolved": "родители индивида", "term_forms": [], "definition_formal": "[α∈X1] Pr1(Fi2[{α}](S3))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 745, "fields": { "schema": 37, "order": 8, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "@{D2|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "родители группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S3))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 746, "fields": { "schema": 37, "order": 9, "alias": "F3", "cst_type": "function", "convention": "", "term_raw": "@{D1|nomn,plur} @{X1|gent,sing}", "term_resolved": "дети индивида", "term_forms": [], "definition_formal": "[α∈X1] Pr2(Fi1[{α}](S3))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 747, "fields": { "schema": 37, "order": 10, "alias": "F4", "cst_type": "function", "convention": "", "term_raw": "@{D1|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "дети группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S3))", "definition_raw": "совокупность @{D1|plur,gent}, одним из родителей которых является индивиди из данной группы индивидов", "definition_resolved": "совокупность детей, одним из родителей которых является индивиди из данной группы индивидов" } }, { "model": "rsform.constituenta", "pk": 748, "fields": { "schema": 37, "order": 11, "alias": "F5", "cst_type": "function", "convention": "", "term_raw": "сиблинги", "term_resolved": "сиблинги", "term_forms": [ { "tags": "plur,gent", "text": "сиблингов" } ], "definition_formal": "[α∈X1] Pr2(Fi1[F1[α]](S3))\\{α}", "definition_raw": "@{D1|plur,nomn} @{D2|plur,gent} данного @{X1|sing,gent} за исключением его самого", "definition_resolved": "дети родителей данного индивида за исключением его самого" } }, { "model": "rsform.constituenta", "pk": 749, "fields": { "schema": 37, "order": 12, "alias": "F6", "cst_type": "function", "convention": "", "term_raw": "@{F5|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "сиблинги группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[F2[α]](S3))\\α", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 750, "fields": { "schema": 37, "order": 13, "alias": "F7", "cst_type": "function", "convention": "", "term_raw": "прадети", "term_resolved": "прадети", "term_forms": [], "definition_formal": "[α∈X1] F4[F3[α]]", "definition_raw": "@{D1|nomn,plur} @{F3|gent,plur}", "definition_resolved": "дети детей индивида" } }, { "model": "rsform.constituenta", "pk": 751, "fields": { "schema": 37, "order": 14, "alias": "F8", "cst_type": "function", "convention": "", "term_raw": "прародители", "term_resolved": "прародители", "term_forms": [], "definition_formal": "[α∈X1] F2[F1[α]]", "definition_raw": "@{D2|nomn,plur} @{D2|gent,plur} данного @{X1|sing,gent}", "definition_resolved": "родители родителей данного индивида" } }, { "model": "rsform.constituenta", "pk": 752, "fields": { "schema": 37, "order": 15, "alias": "S4", "cst_type": "structure", "convention": "действующие браки", "term_raw": "браки", "term_resolved": "браки", "term_forms": [], "definition_formal": "ℬ(S1×S2)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 753, "fields": { "schema": 37, "order": 16, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "мужья", "term_resolved": "мужья", "term_forms": [], "definition_formal": "Pr1(S4)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 754, "fields": { "schema": 37, "order": 17, "alias": "D4", "cst_type": "term", "convention": "", "term_raw": "жены", "term_resolved": "жены", "term_forms": [], "definition_formal": "Pr2(S4)", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 755, "fields": { "schema": 37, "order": 18, "alias": "D5", "cst_type": "term", "convention": "", "term_raw": "супруги", "term_resolved": "супруги", "term_forms": [], "definition_formal": "Pr1(S4)∪Pr2(S4)", "definition_raw": "множество множеств @{X1|gent,plur}, состоящих в @{S4|loct,sing}", "definition_resolved": "множество множеств индивидов, состоящих в браке" } }, { "model": "rsform.constituenta", "pk": 756, "fields": { "schema": 37, "order": 19, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "единственность @{S4|gent,plur}", "term_resolved": "единственность браков", "term_forms": [], "definition_formal": "card(S4)=card(D3) & card(S4)=card(D4)", "definition_raw": "каждый @{X1|nomn,sing} может состоять только в одном @{S4|loct,sing}", "definition_resolved": "каждый индивид может состоять только в одном браке" } }, { "model": "rsform.constituenta", "pk": 757, "fields": { "schema": 37, "order": 20, "alias": "F9", "cst_type": "function", "convention": "", "term_raw": "@{D3|nomn,sing} @{D4|gent,sing}", "term_resolved": "муж жены", "term_forms": [], "definition_formal": "[α∈D4] debool(F11[{α}])", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 758, "fields": { "schema": 37, "order": 21, "alias": "F10", "cst_type": "function", "convention": "", "term_raw": "@{D4|nomn,sing} @{D3|gent,sing}", "term_resolved": "жена мужа", "term_forms": [], "definition_formal": "[α∈D3] debool(F12[{α}])", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 759, "fields": { "schema": 37, "order": 22, "alias": "F11", "cst_type": "function", "convention": "", "term_raw": "@{D3|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "мужья группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S4))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 760, "fields": { "schema": 37, "order": 23, "alias": "F12", "cst_type": "function", "convention": "", "term_raw": "@{D4|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "жены группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S4))", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 761, "fields": { "schema": 37, "order": 24, "alias": "F13", "cst_type": "function", "convention": "", "term_raw": "@{D5|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "супруги группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F11[α]∪F12[α]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 762, "fields": { "schema": 37, "order": 25, "alias": "F14", "cst_type": "function", "convention": "", "term_raw": "потомки", "term_resolved": "потомки", "term_forms": [], "definition_formal": "[α∈X1] R{ξ:=F3[α] | ξ∪F4[ξ]}", "definition_raw": "@{D1|nomn,plur} данного @{X1|sing,gent} или @{D1|nomn,plur} его @{F14|gent,plur}", "definition_resolved": "дети данного индивида или дети его потомков" } }, { "model": "rsform.constituenta", "pk": 763, "fields": { "schema": 37, "order": 26, "alias": "F15", "cst_type": "function", "convention": "", "term_raw": "@{F14|nomn,plur} данной группы @{X1|gent,plur}", "term_resolved": "потомки данной группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] R{ξ:=F4[α] | ξ∪F4[ξ]}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 764, "fields": { "schema": 37, "order": 27, "alias": "A3", "cst_type": "axiom", "convention": "", "term_raw": "ацикличность @{S3|sing,gent}", "term_resolved": "ацикличность отношение родителя - ребёнок", "term_forms": [], "definition_formal": "∀ξ∈X1 ξ∉F14[ξ]", "definition_raw": "@{X1|sing,nomn} не может быть своим @{F14|sing,ablt}", "definition_resolved": "индивид не может быть своим потомком" } }, { "model": "rsform.constituenta", "pk": 765, "fields": { "schema": 37, "order": 28, "alias": "D6", "cst_type": "term", "convention": "", "term_raw": "отцы", "term_resolved": "отцы", "term_forms": [], "definition_formal": "D2∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 766, "fields": { "schema": 37, "order": 29, "alias": "D7", "cst_type": "term", "convention": "", "term_raw": "матери", "term_resolved": "матери", "term_forms": [ { "tags": "sing,nomn", "text": "мать" } ], "definition_formal": "D2∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 767, "fields": { "schema": 37, "order": 30, "alias": "F16", "cst_type": "function", "convention": "", "term_raw": "@{D6|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "отцы группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F2[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 768, "fields": { "schema": 37, "order": 31, "alias": "F17", "cst_type": "function", "convention": "", "term_raw": "@{D6|nomn,plur} @{X1|sing,gent}", "term_resolved": "отцы индивида", "term_forms": [], "definition_formal": "[α∈X1] F1[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 769, "fields": { "schema": 37, "order": 32, "alias": "F18", "cst_type": "function", "convention": "", "term_raw": "@{D7|nomn,plur} @{X1|gent,sing}", "term_resolved": "матери индивида", "term_forms": [], "definition_formal": "[α∈X1] F1[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 770, "fields": { "schema": 37, "order": 33, "alias": "F19", "cst_type": "function", "convention": "", "term_raw": "@{D7|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "матери группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F2[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 771, "fields": { "schema": 37, "order": 34, "alias": "D8", "cst_type": "term", "convention": "", "term_raw": "сироты", "term_resolved": "сироты", "term_forms": [], "definition_formal": "X1\\D1", "definition_raw": "@{X1|plur,nomn}, не имеющие являющиеся @{D1|plur,ablt}", "definition_resolved": "индивиды, не имеющие являющиеся детьми" } }, { "model": "rsform.constituenta", "pk": 772, "fields": { "schema": 37, "order": 35, "alias": "A4", "cst_type": "axiom", "convention": "", "term_raw": "ограничение @{D2|plur,gent}", "term_resolved": "ограничение родителей", "term_forms": [], "definition_formal": "∀α∈X1 (card(F17[α])≤1 & card(F18[α])≤1)", "definition_raw": "у @{D1|sing,gent} может быть максимум один @{D6|sing,nomn} и одна @{D7|sing,nomn}", "definition_resolved": "у ребёнка может быть максимум один отец и одна мать" } }, { "model": "rsform.constituenta", "pk": 773, "fields": { "schema": 37, "order": 36, "alias": "F20", "cst_type": "function", "convention": "", "term_raw": "сыновья", "term_resolved": "сыновья", "term_forms": [ { "tags": "plur,gent", "text": "сыновей" } ], "definition_formal": "[α∈X1] F3[α]∩S1", "definition_raw": "@{D1|plur,nomn} данного @{X1|sing,gent}, являющиеся @{S1|plur,ablt}", "definition_resolved": "дети данного индивида, являющиеся мужчинами" } }, { "model": "rsform.constituenta", "pk": 774, "fields": { "schema": 37, "order": 37, "alias": "F21", "cst_type": "function", "convention": "", "term_raw": "@{F20|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "сыновья группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F4[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 775, "fields": { "schema": 37, "order": 38, "alias": "F22", "cst_type": "function", "convention": "", "term_raw": "дочери", "term_resolved": "дочери", "term_forms": [], "definition_formal": "[α∈X1] F3[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 776, "fields": { "schema": 37, "order": 39, "alias": "F23", "cst_type": "function", "convention": "", "term_raw": "@{F22|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "дочери группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F4[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 777, "fields": { "schema": 37, "order": 40, "alias": "F24", "cst_type": "function", "convention": "", "term_raw": "внуки", "term_resolved": "внуки", "term_forms": [], "definition_formal": "[α∈X1] F21[F3[α]]", "definition_raw": "@{F20|nomn,plur} @{D1|gent,plur}", "definition_resolved": "сыновья детей" } }, { "model": "rsform.constituenta", "pk": 778, "fields": { "schema": 37, "order": 41, "alias": "F25", "cst_type": "function", "convention": "", "term_raw": "внучки", "term_resolved": "внучки", "term_forms": [], "definition_formal": "[α∈X1] F23[F3[α]]", "definition_raw": "@{F22|nomn,plur} @{D1|gent,plur}", "definition_resolved": "дочери детей" } }, { "model": "rsform.constituenta", "pk": 779, "fields": { "schema": 37, "order": 42, "alias": "F26", "cst_type": "function", "convention": "", "term_raw": "дедушки", "term_resolved": "дедушки", "term_forms": [], "definition_formal": "[α∈X1] F16[F1[α]]", "definition_raw": "@{D6|nomn,plur} @{D2|gent,plur}", "definition_resolved": "отцы родителей" } }, { "model": "rsform.constituenta", "pk": 780, "fields": { "schema": 37, "order": 43, "alias": "F27", "cst_type": "function", "convention": "", "term_raw": "бабушки", "term_resolved": "бабушки", "term_forms": [], "definition_formal": "[α∈X1] F19[F1[α]]", "definition_raw": "@{D7|nomn,plur} @{D2|gent,plur}", "definition_resolved": "матери родителей" } }, { "model": "rsform.constituenta", "pk": 781, "fields": { "schema": 37, "order": 44, "alias": "F28", "cst_type": "function", "convention": "", "term_raw": "братья", "term_resolved": "братья", "term_forms": [ { "tags": "plur,gent", "text": "братьев" } ], "definition_formal": "[α∈X1] F5[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 782, "fields": { "schema": 37, "order": 45, "alias": "F29", "cst_type": "function", "convention": "", "term_raw": "@{F28|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "братья группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F6[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 783, "fields": { "schema": 37, "order": 46, "alias": "F30", "cst_type": "function", "convention": "", "term_raw": "сёстры", "term_resolved": "сёстры", "term_forms": [], "definition_formal": "[α∈X1] F5[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 784, "fields": { "schema": 37, "order": 47, "alias": "F31", "cst_type": "function", "convention": "", "term_raw": "@{F30|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "сёстры группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F6[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 785, "fields": { "schema": 37, "order": 48, "alias": "F32", "cst_type": "function", "convention": "", "term_raw": "полнородные @{F5|nomn,plur}", "term_resolved": "полнородные сиблинги", "term_forms": [], "definition_formal": "[α∈X1] D{ξ∈F5[α] | F1[α]=F1[ξ] }", "definition_raw": "@{F5|plur,nomn} данного @{X1|sing,gent}, @{D2|plur,nomn} которых полностью совпадают с его @{D2|plur,gent}", "definition_resolved": "сиблинги данного индивида, родители которых полностью совпадают с его родителей" } }, { "model": "rsform.constituenta", "pk": 786, "fields": { "schema": 37, "order": 49, "alias": "F33", "cst_type": "function", "convention": "", "term_raw": "полнородные @{F28|nomn,plur} @{X1|gent,sing}", "term_resolved": "полнородные братья индивида", "term_forms": [], "definition_formal": "[α∈X1] F32[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 787, "fields": { "schema": 37, "order": 50, "alias": "F34", "cst_type": "function", "convention": "", "term_raw": "полнородные @{F30|nomn,plur} @{X1|gent,sing}", "term_resolved": "полнородные сёстры индивида", "term_forms": [], "definition_formal": "[α∈X1] F32[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 788, "fields": { "schema": 37, "order": 51, "alias": "F35", "cst_type": "function", "convention": "", "term_raw": "единокровные @{F5|nomn,plur}", "term_resolved": "единокровные сиблинги", "term_forms": [], "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]=F17[ξ] & F18[α]≠F18[ξ] }", "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D6|nomn,sing}, но разные @{D7|nomn,plur}", "definition_resolved": "сиблинги, у которых общий отец, но разные матери" } }, { "model": "rsform.constituenta", "pk": 789, "fields": { "schema": 37, "order": 52, "alias": "F36", "cst_type": "function", "convention": "", "term_raw": "единокровные @{F28|nomn,plur}", "term_resolved": "единокровные братья", "term_forms": [], "definition_formal": "[α∈X1] F35[α]∩S1", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 790, "fields": { "schema": 37, "order": 53, "alias": "F37", "cst_type": "function", "convention": "", "term_raw": "единокровные @{F30|nomn,plur}", "term_resolved": "единокровные сёстры", "term_forms": [], "definition_formal": "[α∈X1] F35[α]∩S2", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 791, "fields": { "schema": 37, "order": 54, "alias": "F38", "cst_type": "function", "convention": "", "term_raw": "единоутробные @{F5|nomn,plur}", "term_resolved": "единоутробные сиблинги", "term_forms": [], "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]≠F17[ξ] & F18[α]=F18[ξ] }", "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D7|nomn,sing}, но разные @{D6|nomn,plur}", "definition_resolved": "сиблинги, у которых общая мать, но разные отцы" } }, { "model": "rsform.constituenta", "pk": 792, "fields": { "schema": 37, "order": 55, "alias": "F39", "cst_type": "function", "convention": "", "term_raw": "единоутробные @{F28|nomn,plur}", "term_resolved": "единоутробные братья", "term_forms": [], "definition_formal": "[α∈X1] F38[α]∩F28[α]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 793, "fields": { "schema": 37, "order": 56, "alias": "F40", "cst_type": "function", "convention": "", "term_raw": "единоутробные @{F30|nomn,plur}", "term_resolved": "единоутробные сёстры", "term_forms": [], "definition_formal": "[α∈X1] F38[α]∩F30[α]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 794, "fields": { "schema": 37, "order": 57, "alias": "F41", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F5|nomn,plur}", "term_resolved": "двоюродные сиблинги", "term_forms": [ { "tags": "plur,gent", "text": "двоюродных сиблингов" } ], "definition_formal": "[α∈X1] F15[F6[F1[α]]]", "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", "definition_resolved": "дети сиблингов родителей" } }, { "model": "rsform.constituenta", "pk": 795, "fields": { "schema": 37, "order": 58, "alias": "F42", "cst_type": "function", "convention": "", "term_raw": "@{F41|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "двоюродные сиблинги группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F15[F6[F2[α]]]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 796, "fields": { "schema": 37, "order": 59, "alias": "F43", "cst_type": "function", "convention": "", "term_raw": "@{F41|nomn,plur} по @{D6|datv,sing}", "term_resolved": "двоюродные сиблинги по отцу", "term_forms": [], "definition_formal": "[α∈X1] F15[F6[F17[α]]]", "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D6|gent,sing}", "definition_resolved": "дети сиблингов отца" } }, { "model": "rsform.constituenta", "pk": 797, "fields": { "schema": 37, "order": 60, "alias": "F44", "cst_type": "function", "convention": "", "term_raw": "@{F41|nomn,plur} по @{D7|datv,sing}", "term_resolved": "двоюродные сиблинги по матери", "term_forms": [], "definition_formal": "[α∈X1] F15[F6[F18[α]]]", "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D7|gent,sing}", "definition_resolved": "дети сиблингов матери" } }, { "model": "rsform.constituenta", "pk": 798, "fields": { "schema": 37, "order": 61, "alias": "F45", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F28|nomn,plur}", "term_resolved": "двоюродные братья", "term_forms": [], "definition_formal": "[α∈X1] F21[F6[F1[α]]]", "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", "definition_resolved": "сыновья сиблингов родителей" } }, { "model": "rsform.constituenta", "pk": 799, "fields": { "schema": 37, "order": 62, "alias": "F46", "cst_type": "function", "convention": "", "term_raw": "@{F45|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "двоюродные братья группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F21[F6[F2[α]]]", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 800, "fields": { "schema": 37, "order": 63, "alias": "F47", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F30|nomn,plur}", "term_resolved": "двоюродные сёстры", "term_forms": [], "definition_formal": "[α∈X1] F23[F6[F1[α]]]", "definition_raw": "@{F41|nomn,plur}, являющиеся @{S2|ablt,plur}", "definition_resolved": "двоюродные сиблинги, являющиеся женщинами" } }, { "model": "rsform.constituenta", "pk": 801, "fields": { "schema": 37, "order": 64, "alias": "F48", "cst_type": "function", "convention": "", "term_raw": "@{F47|nomn,plur} группы @{X1|gent,plur}", "term_resolved": "двоюродные сёстры группы индивидов", "term_forms": [], "definition_formal": "[α∈ℬ(X1)] F23[F6[F2[α]]]", "definition_raw": "@{F22|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", "definition_resolved": "дочери сиблингов родителей" } }, { "model": "rsform.constituenta", "pk": 802, "fields": { "schema": 37, "order": 65, "alias": "F49", "cst_type": "function", "convention": "", "term_raw": "стрыйчичи", "term_resolved": "стрыйчичи", "term_forms": [], "definition_formal": "[α∈X1] F45[α]∩F43[α]", "definition_raw": "@{F45|nomn,plur} по @{D6|datv,sing}", "definition_resolved": "двоюродные братья по отцу" } }, { "model": "rsform.constituenta", "pk": 803, "fields": { "schema": 37, "order": 66, "alias": "F50", "cst_type": "function", "convention": "", "term_raw": "стрыечки", "term_resolved": "стрыечки", "term_forms": [], "definition_formal": "[α∈X1] F47[α]∩F43[α]", "definition_raw": "@{F47|nomn,plur} по @{D6|datv,sing}", "definition_resolved": "двоюродные сёстры по отцу" } }, { "model": "rsform.constituenta", "pk": 804, "fields": { "schema": 37, "order": 67, "alias": "F51", "cst_type": "function", "convention": "", "term_raw": "уйчичи", "term_resolved": "уйчичи", "term_forms": [], "definition_formal": "[α∈X1] F45[α]∩F44[α]", "definition_raw": "@{F45|nomn,plur} по @{D7|datv,sing}", "definition_resolved": "двоюродные братья по матери" } }, { "model": "rsform.constituenta", "pk": 805, "fields": { "schema": 37, "order": 68, "alias": "F52", "cst_type": "function", "convention": "", "term_raw": "дяди", "term_resolved": "дяди", "term_forms": [], "definition_formal": "[α∈X1] F29[F1[α]]", "definition_raw": "@{F28|nomn,plur} @{D2|gent,plur}", "definition_resolved": "братья родителей" } }, { "model": "rsform.constituenta", "pk": 806, "fields": { "schema": 37, "order": 69, "alias": "F53", "cst_type": "function", "convention": "", "term_raw": "стрыи", "term_resolved": "стрыи", "term_forms": [], "definition_formal": "[α∈D1] F29[F17[α]]", "definition_raw": "@{F28|nomn,plur} @{D6|gent,sing}", "definition_resolved": "братья отца" } }, { "model": "rsform.constituenta", "pk": 807, "fields": { "schema": 37, "order": 70, "alias": "F54", "cst_type": "function", "convention": "", "term_raw": "вуи", "term_resolved": "вуи", "term_forms": [ { "tags": "sing,nomn", "text": "вуй" }, { "tags": "sing,gent", "text": "вуя" }, { "tags": "sing,datv", "text": "вую" }, { "tags": "plur,gent", "text": "вуёв" } ], "definition_formal": "[α∈D1] F29[F18[α]]", "definition_raw": "@{F28|nomn,plur} @{D7|gent,sing}", "definition_resolved": "братья матери" } }, { "model": "rsform.constituenta", "pk": 808, "fields": { "schema": 37, "order": 71, "alias": "F55", "cst_type": "function", "convention": "", "term_raw": "тёти", "term_resolved": "тёти", "term_forms": [], "definition_formal": "[α∈X1] F31[F1[α]]", "definition_raw": "@{F30|nomn,plur} @{D2|gent,plur}", "definition_resolved": "сёстры родителей" } }, { "model": "rsform.constituenta", "pk": 809, "fields": { "schema": 37, "order": 72, "alias": "F56", "cst_type": "function", "convention": "", "term_raw": "стрыйны", "term_resolved": "стрыйны", "term_forms": [], "definition_formal": "[α∈D1] F31[F17[α]]", "definition_raw": "@{F30|nomn,plur} @{D6|gent,sing}", "definition_resolved": "сёстры отца" } }, { "model": "rsform.constituenta", "pk": 810, "fields": { "schema": 37, "order": 73, "alias": "F57", "cst_type": "function", "convention": "", "term_raw": "вуйны", "term_resolved": "вуйны", "term_forms": [], "definition_formal": "[α∈D1] F31[F18[α]]", "definition_raw": "@{F30|nomn,plur} @{D7|gent,sing}", "definition_resolved": "сёстры матери" } }, { "model": "rsform.constituenta", "pk": 811, "fields": { "schema": 37, "order": 74, "alias": "F58", "cst_type": "function", "convention": "", "term_raw": "племянники", "term_resolved": "племянники", "term_forms": [], "definition_formal": "[α∈X1] F21[F5[α]]", "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur}", "definition_resolved": "сыновья сиблингов" } }, { "model": "rsform.constituenta", "pk": 812, "fields": { "schema": 37, "order": 75, "alias": "F59", "cst_type": "function", "convention": "", "term_raw": "братычи", "term_resolved": "братычи", "term_forms": [], "definition_formal": "[α∈X1] F21[F28[α]]", "definition_raw": "@{F20|nomn,plur} @{F28|gent,plur}", "definition_resolved": "сыновья братьев" } }, { "model": "rsform.constituenta", "pk": 813, "fields": { "schema": 37, "order": 76, "alias": "F60", "cst_type": "function", "convention": "", "term_raw": "сестричи", "term_resolved": "сестричи", "term_forms": [], "definition_formal": "[α∈X1] F21[F30[α]]", "definition_raw": "@{F20|nomn,plur} @{F30|gent,plur}", "definition_resolved": "сыновья сестёр" } }, { "model": "rsform.constituenta", "pk": 814, "fields": { "schema": 37, "order": 77, "alias": "F61", "cst_type": "function", "convention": "", "term_raw": "племянницы", "term_resolved": "племянницы", "term_forms": [], "definition_formal": "[α∈X1] F23[F5[α]]", "definition_raw": "@{F22|gent,sing} @{F5|gent,plur}", "definition_resolved": "дочери сиблингов" } }, { "model": "rsform.constituenta", "pk": 815, "fields": { "schema": 37, "order": 78, "alias": "F62", "cst_type": "function", "convention": "", "term_raw": "братанины", "term_resolved": "братанины", "term_forms": [], "definition_formal": "[α∈X1] F23[F28[α]]", "definition_raw": "@{F22|gent,sing} @{F28|gent,plur}", "definition_resolved": "дочери братьев" } }, { "model": "rsform.constituenta", "pk": 816, "fields": { "schema": 37, "order": 79, "alias": "F63", "cst_type": "function", "convention": "", "term_raw": "сестрины", "term_resolved": "сестрины", "term_forms": [], "definition_formal": "[α∈X1] F23[F30[α]]", "definition_raw": "@{F22|gent,sing} @{F30|gent,plur}", "definition_resolved": "дочери сестёр" } }, { "model": "rsform.constituenta", "pk": 817, "fields": { "schema": 37, "order": 80, "alias": "F64", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F52|nomn,plur}", "term_resolved": "двоюродные дяди", "term_forms": [], "definition_formal": "[α∈X1] F46[F1[α]]", "definition_raw": "@{F45|nomn,plur} @{D2|gent,plur}", "definition_resolved": "двоюродные братья родителей" } }, { "model": "rsform.constituenta", "pk": 818, "fields": { "schema": 37, "order": 81, "alias": "F65", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F55|nomn,plur}", "term_resolved": "двоюродные тёти", "term_forms": [], "definition_formal": "[α∈X1] F48[F1[α]]", "definition_raw": "@{F47|nomn,plur} @{D2|gent,plur}", "definition_resolved": "двоюродные сёстры родителей" } }, { "model": "rsform.constituenta", "pk": 819, "fields": { "schema": 37, "order": 82, "alias": "F66", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F58|nomn,plur}", "term_resolved": "двоюродные племянники", "term_forms": [], "definition_formal": "[α∈X1] F21[F41[α]]", "definition_raw": "@{F20|nomn,plur} @{F41|gent,plur}", "definition_resolved": "сыновья двоюродных сиблингов" } }, { "model": "rsform.constituenta", "pk": 820, "fields": { "schema": 37, "order": 83, "alias": "F67", "cst_type": "function", "convention": "", "term_raw": "дщеричи", "term_resolved": "дщеричи", "term_forms": [], "definition_formal": "[α∈X1] F21[F47[α]]", "definition_raw": "@{F58|nomn,plur} по @{F55|datv,sing}", "definition_resolved": "племянники по тёте" } }, { "model": "rsform.constituenta", "pk": 821, "fields": { "schema": 37, "order": 84, "alias": "F68", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F61|nomn,plur}", "term_resolved": "двоюродные племянницы", "term_forms": [], "definition_formal": "[α∈X1] F23[F41[α]]", "definition_raw": "@{F22|nomn,plur} @{F41|gent,plur}", "definition_resolved": "дочери двоюродных сиблингов" } }, { "model": "rsform.constituenta", "pk": 822, "fields": { "schema": 37, "order": 85, "alias": "F69", "cst_type": "function", "convention": "", "term_raw": "дщерши", "term_resolved": "дщерши", "term_forms": [], "definition_formal": "[α∈X1] F23[F47[α]]", "definition_raw": "@{F22|nomn,plur} @{F47|gent,plur}", "definition_resolved": "дочери двоюродных сестёр" } }, { "model": "rsform.constituenta", "pk": 823, "fields": { "schema": 37, "order": 86, "alias": "F70", "cst_type": "function", "convention": "альтернативное определение: великий дядя - дядя родителя", "term_raw": "двоюродные @{F26|nomn,plur}", "term_resolved": "двоюродные дедушки", "term_forms": [], "definition_formal": "[α∈X1] F29[F8[α]]", "definition_raw": "@{F28|nomn,plur} @{F8|gent,plur}", "definition_resolved": "братья прародителей" } }, { "model": "rsform.constituenta", "pk": 824, "fields": { "schema": 37, "order": 87, "alias": "F71", "cst_type": "function", "convention": "", "term_raw": "двоюродные @{F27|nomn,plur}", "term_resolved": "двоюродные бабушки", "term_forms": [], "definition_formal": "[α∈X1] F31[F8[α]]", "definition_raw": "@{F30|nomn,plur} @{F8|gent,plur}", "definition_resolved": "сёстры прародителей" } }, { "model": "rsform.constituenta", "pk": 825, "fields": { "schema": 37, "order": 88, "alias": "F72", "cst_type": "function", "convention": "альтернативное определение: внук родного брата или сестры", "term_raw": "внучатые @{F58|nomn,plur}", "term_resolved": "внучатые племянники", "term_forms": [], "definition_formal": "[α∈X1] F21[F58[α]∪F61[α]]", "definition_raw": "@{F20|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}", "definition_resolved": "сыновья племянников и племянниц" } }, { "model": "rsform.constituenta", "pk": 826, "fields": { "schema": 37, "order": 89, "alias": "F73", "cst_type": "function", "convention": "", "term_raw": "внучатые @{F61|nomn,plur}", "term_resolved": "внучатые племянницы", "term_forms": [], "definition_formal": "[α∈X1] F23[F58[α]∪F61[α]]", "definition_raw": "@{F22|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}", "definition_resolved": "дочери племянников и племянниц" } }, { "model": "rsform.constituenta", "pk": 827, "fields": { "schema": 37, "order": 90, "alias": "F74", "cst_type": "function", "convention": "", "term_raw": "свёкр", "term_resolved": "свёкр", "term_forms": [], "definition_formal": "[α∈D4] F17[F9[α]]", "definition_raw": "@{D6|nomn,sing} @{D3|gent,sing}", "definition_resolved": "отец мужа" } }, { "model": "rsform.constituenta", "pk": 828, "fields": { "schema": 37, "order": 91, "alias": "F75", "cst_type": "function", "convention": "", "term_raw": "свекровь", "term_resolved": "свекровь", "term_forms": [], "definition_formal": "[α∈D4] F18[F9[α]]", "definition_raw": "@{D7|nomn,sing} @{D3|gent,sing}", "definition_resolved": "мать мужа" } }, { "model": "rsform.constituenta", "pk": 829, "fields": { "schema": 37, "order": 92, "alias": "F76", "cst_type": "function", "convention": "", "term_raw": "тесть", "term_resolved": "тесть", "term_forms": [], "definition_formal": "[α∈D3] F17[F10[α]]", "definition_raw": "@{D6|nomn,sing} @{D4|gent,sing}", "definition_resolved": "отец жены" } }, { "model": "rsform.constituenta", "pk": 830, "fields": { "schema": 37, "order": 93, "alias": "F77", "cst_type": "function", "convention": "", "term_raw": "тёща", "term_resolved": "тёща", "term_forms": [], "definition_formal": "[α∈D3] F18[F10[α]]", "definition_raw": "@{D7|nomn,sing} @{D4|gent,sing}", "definition_resolved": "мать жены" } }, { "model": "rsform.constituenta", "pk": 831, "fields": { "schema": 37, "order": 94, "alias": "F78", "cst_type": "function", "convention": "", "term_raw": "сваты", "term_resolved": "сваты", "term_forms": [], "definition_formal": "[α∈X1] F16[F13[F3[α]]]", "definition_raw": "@{D6|nomn,plur} @{D5|gent,plur} @{D1|gent,plur}", "definition_resolved": "отцы супругов детей" } }, { "model": "rsform.constituenta", "pk": 832, "fields": { "schema": 37, "order": 95, "alias": "F79", "cst_type": "function", "convention": "", "term_raw": "сватьи", "term_resolved": "сватьи", "term_forms": [], "definition_formal": "[α∈X1] F19[F13[F3[α]]]", "definition_raw": "@{D7|gent,sing} @{D5|gent,plur} @{D1|gent,plur}", "definition_resolved": "матери супругов детей" } }, { "model": "rsform.constituenta", "pk": 833, "fields": { "schema": 37, "order": 96, "alias": "F80", "cst_type": "function", "convention": "", "term_raw": "девери", "term_resolved": "девери", "term_forms": [], "definition_formal": "[α∈D4] F28[F9[α]]", "definition_raw": "@{F28|nomn,plur} @{D3|gent,sing}", "definition_resolved": "братья мужа" } }, { "model": "rsform.constituenta", "pk": 834, "fields": { "schema": 37, "order": 97, "alias": "F81", "cst_type": "function", "convention": "", "term_raw": "золовки", "term_resolved": "золовки", "term_forms": [], "definition_formal": "[α∈D4] F30[F9[α]]", "definition_raw": "@{F30|nomn,plur} @{D3|gent,sing}", "definition_resolved": "сёстры мужа" } }, { "model": "rsform.constituenta", "pk": 835, "fields": { "schema": 37, "order": 98, "alias": "F82", "cst_type": "function", "convention": "", "term_raw": "шурины", "term_resolved": "шурины", "term_forms": [], "definition_formal": "[α∈D3] F28[F10[α]]", "definition_raw": "@{F28|nomn,plur} @{D4|gent,sing}", "definition_resolved": "братья жены" } }, { "model": "rsform.constituenta", "pk": 836, "fields": { "schema": 37, "order": 99, "alias": "F83", "cst_type": "function", "convention": "", "term_raw": "свояченицы", "term_resolved": "свояченицы", "term_forms": [], "definition_formal": "[α∈D3] F30[F10[α]]", "definition_raw": "@{F30|nomn,plur} @{D4|gent,sing}", "definition_resolved": "сёстры жены" } }, { "model": "rsform.constituenta", "pk": 837, "fields": { "schema": 37, "order": 100, "alias": "F84", "cst_type": "function", "convention": "", "term_raw": "шуричи", "term_resolved": "шуричи", "term_forms": [], "definition_formal": "[α∈D3] F21[F82[α]]", "definition_raw": "@{F20|nomn,plur} @{F82|gent,plur}", "definition_resolved": "сыновья шуринов" } }, { "model": "rsform.constituenta", "pk": 838, "fields": { "schema": 37, "order": 101, "alias": "F85", "cst_type": "function", "convention": "", "term_raw": "снохи", "term_resolved": "снохи", "term_forms": [], "definition_formal": "[α∈X1] F12[F20[α]]", "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}", "definition_resolved": "жены сыновей" } }, { "model": "rsform.constituenta", "pk": 839, "fields": { "schema": 37, "order": 102, "alias": "F86", "cst_type": "function", "convention": "", "term_raw": "свояки", "term_resolved": "свояки", "term_forms": [], "definition_formal": "[α∈D3] F11[F83[α]]", "definition_raw": "@{D3|nomn,plur} @{F83|gent,plur}", "definition_resolved": "мужья своячениц" } }, { "model": "rsform.constituenta", "pk": 840, "fields": { "schema": 37, "order": 103, "alias": "F87", "cst_type": "function", "convention": "", "term_raw": "ятровки", "term_resolved": "ятровки", "term_forms": [], "definition_formal": "[α∈D4] F12[F80[α]]", "definition_raw": "@{D4|nomn,plur} @{F80|gent,plur}", "definition_resolved": "жены деверей" } }, { "model": "rsform.constituenta", "pk": 841, "fields": { "schema": 37, "order": 104, "alias": "F88", "cst_type": "function", "convention": "", "term_raw": "зятья", "term_resolved": "зятья", "term_forms": [], "definition_formal": "[α∈X1] F11[F22[α]∪F30[α]∪F81[α]∪F61[α]]", "definition_raw": "@{D3|nomn,plur} @{F22|gent,plur}, @{F30|gent,plur}, @{F81|gent,plur} или @{F61|gent,plur}", "definition_resolved": "мужья дочерей, сестёр, золовок или племянниц" } }, { "model": "rsform.constituenta", "pk": 842, "fields": { "schema": 37, "order": 105, "alias": "F89", "cst_type": "function", "convention": "", "term_raw": "невестки", "term_resolved": "невестки", "term_forms": [], "definition_formal": "[α∈X1] F12[F20[α]∪F28[α]∪F80[α]∪F58[α]]", "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}, @{F28|gent,plur}, @{F80|gent,plur} или @{F58|gent,plur}", "definition_resolved": "жены сыновей, братьев, деверей или племянников" } }, { "model": "rsform.constituenta", "pk": 843, "fields": { "schema": 37, "order": 106, "alias": "F90", "cst_type": "function", "convention": "", "term_raw": "вуйки", "term_resolved": "вуйки", "term_forms": [], "definition_formal": "[α∈X1] F12[F54[α]]", "definition_raw": "@{D4|nomn,plur} @{F54|gent,plur}", "definition_resolved": "жены вуи" } }, { "model": "rsform.constituenta", "pk": 844, "fields": { "schema": 37, "order": 107, "alias": "F91", "cst_type": "function", "convention": "", "term_raw": "братанихи", "term_resolved": "братанихи", "term_forms": [], "definition_formal": "[α∈X1] F12[F45[α]]", "definition_raw": "@{D4|nomn,plur} @{F45|gent,plur}", "definition_resolved": "жены двоюродных братьев" } }, { "model": "rsform.constituenta", "pk": 845, "fields": { "schema": 37, "order": 108, "alias": "D9", "cst_type": "term", "convention": "", "term_raw": "законные @{D1|nomn,plur}", "term_resolved": "законные дети", "term_forms": [], "definition_formal": "D{ξ∈D1 | F13[F1[ξ]]=F1[ξ]}", "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых состоят в @{S4|loct,sing}", "definition_resolved": "дети, родители которых состоят в браке" } }, { "model": "rsform.constituenta", "pk": 846, "fields": { "schema": 37, "order": 109, "alias": "D10", "cst_type": "term", "convention": "", "term_raw": "бастарды", "term_resolved": "бастарды", "term_forms": [], "definition_formal": "D1\\D9", "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых не состоят в @{S4|loct,sing}", "definition_resolved": "дети, родители которых не состоят в браке" } }, { "model": "rsform.constituenta", "pk": 847, "fields": { "schema": 37, "order": 110, "alias": "F92", "cst_type": "function", "convention": "", "term_raw": "сводные @{F5|nomn,plur}", "term_resolved": "сводные сиблинги", "term_forms": [], "definition_formal": "[α∈X1] F4[F13[F1[α]]] \\ F5[α] \\ {α}", "definition_raw": "@{D1|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F5|ablt,plur}", "definition_resolved": "дети супругов родителей, не являющиеся сиблингами" } }, { "model": "rsform.constituenta", "pk": 848, "fields": { "schema": 37, "order": 111, "alias": "F93", "cst_type": "function", "convention": "", "term_raw": "сводные @{F28|nomn,plur}", "term_resolved": "сводные братья", "term_forms": [], "definition_formal": "[α∈X1] F21[F13[F1[α]]] \\ F28[α] \\ {α}", "definition_raw": "@{F20|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F28|ablt,plur}", "definition_resolved": "сыновья супругов родителей, не являющиеся братьями" } }, { "model": "rsform.constituenta", "pk": 849, "fields": { "schema": 37, "order": 112, "alias": "F94", "cst_type": "function", "convention": "", "term_raw": "сводные @{F30|nomn,plur}", "term_resolved": "сводные сёстры", "term_forms": [], "definition_formal": "[α∈X1] F23[F13[F1[α]]] \\ F30[α] \\ {α}", "definition_raw": "@{F22|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F30|ablt,plur}", "definition_resolved": "дочери супругов родителей, не являющиеся сёстрами" } }, { "model": "rsform.constituenta", "pk": 850, "fields": { "schema": 37, "order": 113, "alias": "F95", "cst_type": "function", "convention": "", "term_raw": "пасынки", "term_resolved": "пасынки", "term_forms": [], "definition_formal": "[α∈X1] F21[F13[{α}]] \\ F20[α]", "definition_raw": "@{F20|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}", "definition_resolved": "сыновья супруга, не являющиеся детьми" } }, { "model": "rsform.constituenta", "pk": 851, "fields": { "schema": 37, "order": 114, "alias": "F96", "cst_type": "function", "convention": "", "term_raw": "падчерицы", "term_resolved": "падчерицы", "term_forms": [], "definition_formal": "[α∈X1] F23[F13[{α}]] \\ F22[α]", "definition_raw": "@{F22|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}", "definition_resolved": "дочери супруга, не являющиеся детьми" } }, { "model": "rsform.constituenta", "pk": 852, "fields": { "schema": 37, "order": 115, "alias": "F97", "cst_type": "function", "convention": "", "term_raw": "отчимы", "term_resolved": "отчимы", "term_forms": [], "definition_formal": "[α∈X1] F11[F19[{α}]] \\ F16[{α}]", "definition_raw": "@{D3|nomn,sing} @{D7|gent,sing}, не являющийся @{D6|ablt,sing}", "definition_resolved": "муж матери, не являющийся отцом" } }, { "model": "rsform.constituenta", "pk": 853, "fields": { "schema": 37, "order": 116, "alias": "F98", "cst_type": "function", "convention": "", "term_raw": "мачехи", "term_resolved": "мачехи", "term_forms": [], "definition_formal": "[α∈X1] F12[F16[{α}]] \\ F19[{α}]", "definition_raw": "@{D4|nomn,sing} @{D6|gent,sing}, не являющаяся @{D7|ablt,sing}", "definition_resolved": "жена отца, не являющаяся матерью" } }, { "model": "rsform.constituenta", "pk": 854, "fields": { "schema": 38, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "Под «веществом» понимается химическое название вещества", "term_raw": "Вещества", "term_resolved": "Вещества", "term_forms": [], "definition_formal": "", "definition_raw": "Множества веществ", "definition_resolved": "Множества веществ" } }, { "model": "rsform.constituenta", "pk": 855, "fields": { "schema": 38, "order": 1, "alias": "X2", "cst_type": "basic", "convention": "«Объекты» представляют собой неопределяемые материальные сущности – физические тела", "term_raw": "Объекты", "term_resolved": "Объекты", "term_forms": [], "definition_formal": "", "definition_raw": "Множество объектов", "definition_resolved": "Множество объектов" } }, { "model": "rsform.constituenta", "pk": 856, "fields": { "schema": 38, "order": 2, "alias": "X3", "cst_type": "basic", "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)", "term_raw": "Топосы", "term_resolved": "Топосы", "term_forms": [], "definition_formal": "", "definition_raw": "Множество топосов", "definition_resolved": "Множество топосов" } }, { "model": "rsform.constituenta", "pk": 857, "fields": { "schema": 38, "order": 3, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "Отношение объектов и веществ", "term_resolved": "Отношение объектов и веществ", "term_forms": [], "definition_formal": "ℬ(X2×X1) ", "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта", "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта" } }, { "model": "rsform.constituenta", "pk": 858, "fields": { "schema": 38, "order": 4, "alias": "S2", "cst_type": "structure", "convention": "", "term_raw": "Положение объектов", "term_resolved": "Положение объектов", "term_forms": [], "definition_formal": "ℬ(X2×X3)", "definition_raw": "Множество пар: объект и топос, в котором находится объект", "definition_resolved": "Множество пар: объект и топос, в котором находится объект" } }, { "model": "rsform.constituenta", "pk": 859, "fields": { "schema": 38, "order": 5, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "Непротяженные объекты", "term_resolved": "Непротяженные объекты", "term_forms": [], "definition_formal": "X2 \\ Pr1(S2)", "definition_raw": "Множество объектов, не находящихся ни в одном топосе", "definition_resolved": "Множество объектов, не находящихся ни в одном топосе" } }, { "model": "rsform.constituenta", "pk": 860, "fields": { "schema": 38, "order": 6, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "Нематериальные объекты", "term_resolved": "Нематериальные объекты", "term_forms": [], "definition_formal": "X2 \\ Pr1(S1)", "definition_raw": "Множество объектов, не состоящих из веществ", "definition_resolved": "Множество объектов, не состоящих из веществ" } }, { "model": "rsform.constituenta", "pk": 861, "fields": { "schema": 38, "order": 7, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "", "term_resolved": "", "term_forms": [], "definition_formal": "D2 = ∅", "definition_raw": "Каждый объект состоит хотя бы из одного вещества", "definition_resolved": "Каждый объект состоит хотя бы из одного вещества" } }, { "model": "rsform.constituenta", "pk": 862, "fields": { "schema": 38, "order": 8, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "Пустые топосы", "term_resolved": "Пустые топосы", "term_forms": [], "definition_formal": "X3 \\ Pr2(S2)", "definition_raw": "Множество топосов, в которых не находится ни одного объекта", "definition_resolved": "Множество топосов, в которых не находится ни одного объекта" } }, { "model": "rsform.constituenta", "pk": 863, "fields": { "schema": 38, "order": 9, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "Пустых топосов нет", "term_resolved": "Пустых топосов нет", "term_forms": [], "definition_formal": "D3 = ∅", "definition_raw": "Каждый топос содержит хотя бы один объект", "definition_resolved": "Каждый топос содержит хотя бы один объект" } }, { "model": "rsform.constituenta", "pk": 864, "fields": { "schema": 38, "order": 10, "alias": "D4", "cst_type": "term", "convention": "", "term_raw": "Составы объектов", "term_resolved": "Составы объектов", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr2(Fi1[{ξ}](S1))}", "definition_raw": "Множество пар: объект и множество всех составляющих его веществ", "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ" } }, { "model": "rsform.constituenta", "pk": 865, "fields": { "schema": 38, "order": 11, "alias": "D5", "cst_type": "term", "convention": "", "term_raw": "Объекты, содержащие вещество", "term_resolved": "Объекты, содержащие вещество", "term_forms": [], "definition_formal": "I{(α,σ) | α:∈X1; σ:=Pr1(Fi2[{α}](S1))}", "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество", "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество" } }, { "model": "rsform.constituenta", "pk": 866, "fields": { "schema": 38, "order": 12, "alias": "D6", "cst_type": "term", "convention": "", "term_raw": "Смеси (Объектные среды)", "term_resolved": "Смеси (Объектные среды)", "term_forms": [], "definition_formal": "I{(λ,σ) | λ:∈X3; σ:=Pr1(Fi2[{λ}](S2))}", "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе", "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 867, "fields": { "schema": 38, "order": 13, "alias": "D7", "cst_type": "term", "convention": "", "term_raw": "Составы смесей", "term_resolved": "Составы смесей", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D6; σ:=Pr2(Fi1[pr2(ξ)](S1))}", "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов", "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов" } }, { "model": "rsform.constituenta", "pk": 868, "fields": { "schema": 38, "order": 14, "alias": "D9", "cst_type": "term", "convention": "", "term_raw": "Концентрации веществ в топосе", "term_resolved": "Концентрации веществ в топосе", "term_forms": [], "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X1; τ:∈X3; \nσ2:=Pr1(Fi2[{τ}](S2)); \nσα:=Pr1(Fi2[{α}](S1)); \nσ1:=σ2∩σα}", "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе", "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 869, "fields": { "schema": 38, "order": 15, "alias": "D10", "cst_type": "term", "convention": "", "term_raw": "Универсальные вещества", "term_resolved": "Универсальные вещества", "term_forms": [], "definition_formal": "D{ξ∈X1 | Pr1(Fi2[{ξ}](S1)) = X2}", "definition_raw": "Множество веществ, входящий в каждый объект", "definition_resolved": "Множество веществ, входящий в каждый объект" } }, { "model": "rsform.constituenta", "pk": 871, "fields": { "schema": 39, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "", "term_raw": "Абстрактные объекты", "term_resolved": "Абстрактные объекты", "term_forms": [], "definition_formal": "", "definition_raw": "Множество объектов", "definition_resolved": "Множество объектов" } }, { "model": "rsform.constituenta", "pk": 872, "fields": { "schema": 39, "order": 1, "alias": "X2", "cst_type": "basic", "convention": "", "term_raw": "Типы отношений", "term_resolved": "Типы отношений", "term_forms": [], "definition_formal": "", "definition_raw": "Множество типов отношений", "definition_resolved": "Множество типов отношений" } }, { "model": "rsform.constituenta", "pk": 873, "fields": { "schema": 39, "order": 2, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "Отношения между объектами", "term_resolved": "Отношения между объектами", "term_forms": [], "definition_formal": "ℬ(X1×X1×X2)", "definition_raw": "Множество троек: два объекта и тип отношения между ними", "definition_resolved": "Множество троек: два объекта и тип отношения между ними" } }, { "model": "rsform.constituenta", "pk": 874, "fields": { "schema": 39, "order": 3, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "Симметричность", "term_resolved": "Симметричность", "term_forms": [], "definition_formal": "∀(α,β,γ)∈S1 (β,α,γ)∈S1", "definition_raw": "Симметричность отношений между объектами", "definition_resolved": "Симметричность отношений между объектами" } }, { "model": "rsform.constituenta", "pk": 875, "fields": { "schema": 39, "order": 4, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "Аспекты объекта", "term_resolved": "Аспекты объекта", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X1; σ:=Pr3(Fi1[{ξ}](S1))}", "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит", "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит" } }, { "model": "rsform.constituenta", "pk": 876, "fields": { "schema": 39, "order": 5, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "Связанные объекты", "term_resolved": "Связанные объекты", "term_forms": [], "definition_formal": "Pr1,2(S1)", "definition_raw": "Множество пар: объект и связанный с ним объект", "definition_resolved": "Множество пар: объект и связанный с ним объект" } }, { "model": "rsform.constituenta", "pk": 877, "fields": { "schema": 39, "order": 6, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "Объекты, состоящие в заданном отношении", "term_resolved": "Объекты, состоящие в заданном отношении", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr1(Fi3[{ξ}](S1))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 878, "fields": { "schema": 40, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "Под объектами понимаются физические тела", "term_raw": "Объекты", "term_resolved": "Объекты", "term_forms": [], "definition_formal": "", "definition_raw": "Множество объектов", "definition_resolved": "Множество объектов" } }, { "model": "rsform.constituenta", "pk": 879, "fields": { "schema": 40, "order": 1, "alias": "X2", "cst_type": "basic", "convention": "Типовые изменения объектов представляют собой, например, \"химические реакции\", \"преобразование формы\", \"преобразование фазового состояния\"", "term_raw": "Типы изменений", "term_resolved": "Типы изменений", "term_forms": [], "definition_formal": "", "definition_raw": "Множество типовых изменений", "definition_resolved": "Множество типовых изменений" } }, { "model": "rsform.constituenta", "pk": 880, "fields": { "schema": 40, "order": 2, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "Элементарные процессы", "term_resolved": "Элементарные процессы", "term_forms": [], "definition_formal": "ℬ(ℬ(X1)×X2×ℬ(X1))", "definition_raw": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов", "definition_resolved": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов" } }, { "model": "rsform.constituenta", "pk": 881, "fields": { "schema": 40, "order": 3, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "", "term_resolved": "", "term_forms": [], "definition_formal": "∀σ1,σ2∈S1 ((pr1(σ1) = pr1(σ2) & pr3(σ1) = pr3(σ2)) ⇒ pr2(σ1) = pr2(σ2))", "definition_raw": "Для одного набора входов и выходов только один тип", "definition_resolved": "Для одного набора входов и выходов только один тип" } }, { "model": "rsform.constituenta", "pk": 882, "fields": { "schema": 40, "order": 4, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "Неизменямые объекты процесса", "term_resolved": "Неизменямые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)∩pr3(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса" } }, { "model": "rsform.constituenta", "pk": 883, "fields": { "schema": 40, "order": 5, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "Поглощаемые объекты процесса", "term_resolved": "Поглощаемые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)\\pr3(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса" } }, { "model": "rsform.constituenta", "pk": 884, "fields": { "schema": 40, "order": 6, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "Создаваемые объекты процесса", "term_resolved": "Создаваемые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr3(ξ)\\pr1(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса" } }, { "model": "rsform.constituenta", "pk": 885, "fields": { "schema": 40, "order": 7, "alias": "D4", "cst_type": "term", "convention": "", "term_raw": "Неизменяемые объекты", "term_resolved": "Неизменяемые объекты", "term_forms": [], "definition_formal": "X1 \\ red(Pr2(D2))", "definition_raw": "Множество объектов, для которых нет процесса, поглащающего данный объект", "definition_resolved": "Множество объектов, для которых нет процесса, поглащающего данный объект" } }, { "model": "rsform.constituenta", "pk": 886, "fields": { "schema": 40, "order": 8, "alias": "D5", "cst_type": "term", "convention": "", "term_raw": "Невосполнимые объекты", "term_resolved": "Невосполнимые объекты", "term_forms": [], "definition_formal": "X1 \\ red(Pr2(D3))", "definition_raw": "Множество объектов, для которых нет процесса, создающего данный объект", "definition_resolved": "Множество объектов, для которых нет процесса, создающего данный объект" } }, { "model": "rsform.constituenta", "pk": 887, "fields": { "schema": 40, "order": 9, "alias": "F1", "cst_type": "function", "convention": "", "term_raw": "Связанные тройки", "term_resolved": "Связанные тройки", "term_forms": [], "definition_formal": "[α∈ℬ(ℬ(R1)×R2×ℬ(R1))] D{(σ1,σ2)∈α×α | pr3(σ1)∩pr1(σ2)≠∅}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 888, "fields": { "schema": 40, "order": 10, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "Связные сети", "term_resolved": "Связные сети", "term_forms": [], "definition_formal": "[λ∈ℬ(R1×R1)] \nD{ξ∈ℬ(Pr1(λ)∪Pr2(λ)) | ∀α∈ξ ∃β∈ξ (α≠β & ((α,β)∈λ ∨ (β,α)∈λ))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 889, "fields": { "schema": 40, "order": 11, "alias": "D6", "cst_type": "term", "convention": "", "term_raw": "Связанные элементарные процессы", "term_resolved": "Связанные элементарные процессы", "term_forms": [], "definition_formal": "F1[S1]", "definition_raw": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются", "definition_resolved": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются" } }, { "model": "rsform.constituenta", "pk": 890, "fields": { "schema": 40, "order": 12, "alias": "D7", "cst_type": "term", "convention": "(в т.ч. составного, т.е. сети процессов)", "term_raw": "Необходимые процессы для процесса", "term_resolved": "Необходимые процессы для процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=Pr1(Fi2[{ξ}](D6))}", "definition_raw": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс", "definition_resolved": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс" } }, { "model": "rsform.constituenta", "pk": 891, "fields": { "schema": 40, "order": 13, "alias": "D8", "cst_type": "term", "convention": "", "term_raw": "Сети элементарных процессов", "term_resolved": "Сети элементарных процессов", "term_forms": [], "definition_formal": "F2[D6]", "definition_raw": "Множество множеств процессов, связанных по входам и выходам", "definition_resolved": "Множество множеств процессов, связанных по входам и выходам" } }, { "model": "rsform.constituenta", "pk": 892, "fields": { "schema": 40, "order": 14, "alias": "D9", "cst_type": "term", "convention": "", "term_raw": "Несвязанные входы и выходы сети процессов", "term_resolved": "Несвязанные входы и выходы сети процессов", "term_forms": [], "definition_formal": "I{(ξ,σ1,σ2) | ξ:∈D8; σ1:= red(Pr1(ξ)\\Pr3(ξ)); σ2:= red(Pr3(ξ)\\Pr1(ξ))}", "definition_raw": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов", "definition_resolved": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов" } }, { "model": "rsform.constituenta", "pk": 893, "fields": { "schema": 40, "order": 15, "alias": "D10", "cst_type": "term", "convention": "", "term_raw": "Внутренние объекты сети процессов", "term_resolved": "Внутренние объекты сети процессов", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D8; σ:=red(Pr1(ξ))∩red(Pr3(ξ))}", "definition_raw": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети", "definition_resolved": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети" } }, { "model": "rsform.constituenta", "pk": 894, "fields": { "schema": 40, "order": 16, "alias": "D11", "cst_type": "term", "convention": "", "term_raw": "Составные процессы", "term_resolved": "Составные процессы", "term_forms": [], "definition_formal": "Pr2,1,3(D9)", "definition_raw": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов", "definition_resolved": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов" } }, { "model": "rsform.constituenta", "pk": 895, "fields": { "schema": 40, "order": 17, "alias": "D12", "cst_type": "term", "convention": "", "term_raw": "Связанные составные процессы", "term_resolved": "Связанные составные процессы", "term_forms": [], "definition_formal": "F1[D11]", "definition_raw": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго", "definition_resolved": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго" } }, { "model": "rsform.constituenta", "pk": 896, "fields": { "schema": 40, "order": 18, "alias": "D13", "cst_type": "term", "convention": "", "term_raw": "Сети составных процессов", "term_resolved": "Сети составных процессов", "term_forms": [], "definition_formal": "F2[D12]", "definition_raw": "Множество множеств составных процессов, связанных по входам и выходам", "definition_resolved": "Множество множеств составных процессов, связанных по входам и выходам" } }, { "model": "rsform.constituenta", "pk": 897, "fields": { "schema": 40, "order": 19, "alias": "D14", "cst_type": "term", "convention": "!!!", "term_raw": "Топология сети процессов", "term_resolved": "Топология сети процессов", "term_forms": [], "definition_formal": "{ξ∈ℬ(D13) |∀α,β∈ξ ∀γ∈ℬ(ℬ(X1)×ℬ(ℬ(X1)×X2×ℬ(X1))×ℬ(X1)) ((debool(α)=debool(β)) & (debool(γ)=debool(α) ⇒ γ∈ξ))}", "definition_raw": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети.", "definition_resolved": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети." } }, { "model": "rsform.constituenta", "pk": 898, "fields": { "schema": 40, "order": 20, "alias": "D15", "cst_type": "term", "convention": "", "term_raw": "Однократная сеть процессов", "term_resolved": "Однократная сеть процессов", "term_forms": [], "definition_formal": "{ξ∈D13 |{ξ}∈D14 }", "definition_raw": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов", "definition_resolved": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов" } }, { "model": "rsform.constituenta", "pk": 899, "fields": { "schema": 40, "order": 21, "alias": "D16", "cst_type": "term", "convention": "", "term_raw": "Воспроизводящаяся сеть процессов", "term_resolved": "Воспроизводящаяся сеть процессов", "term_forms": [], "definition_formal": "{ξ∈D14 | card(ξ)≥2}", "definition_raw": "Группы из двух и более сетей процессов с одинаковой топологией", "definition_resolved": "Группы из двух и более сетей процессов с одинаковой топологией" } }, { "model": "rsform.constituenta", "pk": 900, "fields": { "schema": 40, "order": 22, "alias": "D17", "cst_type": "term", "convention": "", "term_raw": "Процессная целостность", "term_resolved": "Процессная целостность", "term_forms": [], "definition_formal": "{ξ∈D16| ∀α∈ξ ∃β∈ξ ((α≠β) ⇒ ((Pr1(α)∩Pr3(β))≠∅ ∨ (Pr3(α)∩Pr1(β))≠∅))}", "definition_raw": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам.", "definition_resolved": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам." } }, { "model": "rsform.constituenta", "pk": 924, "fields": { "schema": 43, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "Под «веществом» понимается химическое название вещества", "term_raw": "Вещества", "term_resolved": "Вещества", "term_forms": [], "definition_formal": "", "definition_raw": "Множества веществ", "definition_resolved": "Множества веществ" } }, { "model": "rsform.constituenta", "pk": 925, "fields": { "schema": 43, "order": 1, "alias": "X2", "cst_type": "basic", "convention": "«Объекты» представляют собой неопределяемые материальные сущности – физические тела", "term_raw": "Объекты", "term_resolved": "Объекты", "term_forms": [], "definition_formal": "", "definition_raw": "Множество объектов", "definition_resolved": "Множество объектов" } }, { "model": "rsform.constituenta", "pk": 926, "fields": { "schema": 43, "order": 2, "alias": "X3", "cst_type": "basic", "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)", "term_raw": "Топосы", "term_resolved": "Топосы", "term_forms": [], "definition_formal": "", "definition_raw": "Множество топосов", "definition_resolved": "Множество топосов" } }, { "model": "rsform.constituenta", "pk": 927, "fields": { "schema": 43, "order": 4, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "Отношение объектов и веществ", "term_resolved": "Отношение объектов и веществ", "term_forms": [], "definition_formal": "ℬ(X2×X1) ", "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта", "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта" } }, { "model": "rsform.constituenta", "pk": 928, "fields": { "schema": 43, "order": 5, "alias": "S2", "cst_type": "structure", "convention": "", "term_raw": "Положение объектов", "term_resolved": "Положение объектов", "term_forms": [], "definition_formal": "ℬ(X2×X3)", "definition_raw": "Множество пар: объект и топос, в котором находится объект", "definition_resolved": "Множество пар: объект и топос, в котором находится объект" } }, { "model": "rsform.constituenta", "pk": 929, "fields": { "schema": 43, "order": 14, "alias": "D5", "cst_type": "term", "convention": "", "term_raw": "Непротяженные объекты", "term_resolved": "Непротяженные объекты", "term_forms": [], "definition_formal": "X2 \\ Pr1(S2)", "definition_raw": "Множество объектов, не находящихся ни в одном топосе", "definition_resolved": "Множество объектов, не находящихся ни в одном топосе" } }, { "model": "rsform.constituenta", "pk": 930, "fields": { "schema": 43, "order": 6, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "Нематериальные объекты", "term_resolved": "Нематериальные объекты", "term_forms": [], "definition_formal": "X2 \\ Pr1(S1)", "definition_raw": "Множество объектов, не состоящих из веществ", "definition_resolved": "Множество объектов, не состоящих из веществ" } }, { "model": "rsform.constituenta", "pk": 931, "fields": { "schema": 43, "order": 7, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "", "term_resolved": "", "term_forms": [], "definition_formal": "D1 = ∅", "definition_raw": "Каждый объект состоит хотя бы из одного вещества", "definition_resolved": "Каждый объект состоит хотя бы из одного вещества" } }, { "model": "rsform.constituenta", "pk": 932, "fields": { "schema": 43, "order": 8, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "Пустые топосы", "term_resolved": "Пустые топосы", "term_forms": [], "definition_formal": "X3 \\ Pr2(S2)", "definition_raw": "Множество топосов, в которых не находится ни одного объекта", "definition_resolved": "Множество топосов, в которых не находится ни одного объекта" } }, { "model": "rsform.constituenta", "pk": 933, "fields": { "schema": 43, "order": 9, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "Пустых топосов нет", "term_resolved": "Пустых топосов нет", "term_forms": [], "definition_formal": "D2 = ∅", "definition_raw": "Каждый топос содержит хотя бы один объект", "definition_resolved": "Каждый топос содержит хотя бы один объект" } }, { "model": "rsform.constituenta", "pk": 934, "fields": { "schema": 43, "order": 15, "alias": "D6", "cst_type": "term", "convention": "", "term_raw": "Составы объектов", "term_resolved": "Составы объектов", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr2(Fi1[{ξ}](S1))}", "definition_raw": "Множество пар: объект и множество всех составляющих его веществ", "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ" } }, { "model": "rsform.constituenta", "pk": 935, "fields": { "schema": 43, "order": 16, "alias": "D7", "cst_type": "term", "convention": "", "term_raw": "Объекты, содержащие вещество", "term_resolved": "Объекты, содержащие вещество", "term_forms": [], "definition_formal": "I{(α,σ) | α:∈X1; σ:=Pr1(Fi2[{α}](S1))}", "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество", "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество" } }, { "model": "rsform.constituenta", "pk": 936, "fields": { "schema": 43, "order": 10, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "Смеси (Объектные среды)", "term_resolved": "Смеси (Объектные среды)", "term_forms": [], "definition_formal": "I{(λ,σ) | λ:∈X3; σ:=Pr1(Fi2[{λ}](S2))}", "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе", "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 937, "fields": { "schema": 43, "order": 17, "alias": "D8", "cst_type": "term", "convention": "", "term_raw": "Составы смесей", "term_resolved": "Составы смесей", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr2(Fi1[pr2(ξ)](S1))}", "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов", "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов" } }, { "model": "rsform.constituenta", "pk": 938, "fields": { "schema": 43, "order": 18, "alias": "D9", "cst_type": "term", "convention": "", "term_raw": "Концентрации веществ в топосе", "term_resolved": "Концентрации веществ в топосе", "term_forms": [], "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X1; τ:∈X3; \nσ2:=Pr1(Fi2[{τ}](S2)); \nσα:=Pr1(Fi2[{α}](S1)); \nσ1:=σ2∩σα}", "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе", "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 939, "fields": { "schema": 43, "order": 19, "alias": "D10", "cst_type": "term", "convention": "", "term_raw": "Универсальные вещества", "term_resolved": "Универсальные вещества", "term_forms": [], "definition_formal": "D{ξ∈X1 | Pr1(Fi2[{ξ}](S1)) = X2}", "definition_raw": "Множество веществ, входящий в каждый объект", "definition_resolved": "Множество веществ, входящий в каждый объект" } }, { "model": "rsform.constituenta", "pk": 941, "fields": { "schema": 43, "order": 3, "alias": "X4", "cst_type": "basic", "convention": "", "term_raw": "Типы отношений", "term_resolved": "Типы отношений", "term_forms": [], "definition_formal": "", "definition_raw": "Множество типов отношений", "definition_resolved": "Множество типов отношений" } }, { "model": "rsform.constituenta", "pk": 942, "fields": { "schema": 43, "order": 11, "alias": "S3", "cst_type": "structure", "convention": "", "term_raw": "Отношения между объектами", "term_resolved": "Отношения между объектами", "term_forms": [], "definition_formal": "ℬ(D3×D3×X4)", "definition_raw": "Множество троек: два объекта и тип отношения между ними", "definition_resolved": "Множество троек: два объекта и тип отношения между ними" } }, { "model": "rsform.constituenta", "pk": 943, "fields": { "schema": 43, "order": 13, "alias": "A3", "cst_type": "axiom", "convention": "", "term_raw": "Симметричность", "term_resolved": "Симметричность", "term_forms": [], "definition_formal": "∀(α,β,γ)∈S3 (β,α,γ)∈S3", "definition_raw": "Симметричность отношений между объектами", "definition_resolved": "Симметричность отношений между объектами" } }, { "model": "rsform.constituenta", "pk": 944, "fields": { "schema": 43, "order": 20, "alias": "D11", "cst_type": "term", "convention": "", "term_raw": "Аспекты объекта", "term_resolved": "Аспекты объекта", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr3(Fi1[{ξ}](S3))}", "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит", "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит" } }, { "model": "rsform.constituenta", "pk": 945, "fields": { "schema": 43, "order": 12, "alias": "D4", "cst_type": "term", "convention": "", "term_raw": "Связанные объекты", "term_resolved": "Связанные объекты", "term_forms": [], "definition_formal": "Pr1,2(S3)", "definition_raw": "Множество пар: объект и связанный с ним объект", "definition_resolved": "Множество пар: объект и связанный с ним объект" } }, { "model": "rsform.constituenta", "pk": 946, "fields": { "schema": 43, "order": 21, "alias": "D12", "cst_type": "term", "convention": "", "term_raw": "Объекты, состоящие в заданном отношении", "term_resolved": "Объекты, состоящие в заданном отношении", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X4; σ:=Pr1(Fi3[{ξ}](S3))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 947, "fields": { "schema": 44, "order": 0, "alias": "X1", "cst_type": "basic", "convention": "Под объектами понимаются физические тела", "term_raw": "Объекты", "term_resolved": "Объекты", "term_forms": [], "definition_formal": "", "definition_raw": "Множество объектов", "definition_resolved": "Множество объектов" } }, { "model": "rsform.constituenta", "pk": 948, "fields": { "schema": 44, "order": 1, "alias": "X2", "cst_type": "basic", "convention": "Типовые изменения объектов представляют собой, например, \"химические реакции\", \"преобразование формы\", \"преобразование фазового состояния\"", "term_raw": "Типы изменений", "term_resolved": "Типы изменений", "term_forms": [], "definition_formal": "", "definition_raw": "Множество типовых изменений", "definition_resolved": "Множество типовых изменений" } }, { "model": "rsform.constituenta", "pk": 949, "fields": { "schema": 44, "order": 5, "alias": "S1", "cst_type": "structure", "convention": "", "term_raw": "Элементарные процессы", "term_resolved": "Элементарные процессы", "term_forms": [], "definition_formal": "ℬ(ℬ(X1)×X2×ℬ(X1))", "definition_raw": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов", "definition_resolved": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов" } }, { "model": "rsform.constituenta", "pk": 950, "fields": { "schema": 44, "order": 6, "alias": "A1", "cst_type": "axiom", "convention": "", "term_raw": "", "term_resolved": "", "term_forms": [], "definition_formal": "∀σ1,σ2∈S1 ((pr1(σ1) = pr1(σ2) & pr3(σ1) = pr3(σ2)) ⇒ pr2(σ1) = pr2(σ2))", "definition_raw": "Для одного набора входов и выходов только один тип", "definition_resolved": "Для одного набора входов и выходов только один тип" } }, { "model": "rsform.constituenta", "pk": 951, "fields": { "schema": 44, "order": 17, "alias": "D5", "cst_type": "term", "convention": "", "term_raw": "Неизменямые объекты процесса", "term_resolved": "Неизменямые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)∩pr3(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса" } }, { "model": "rsform.constituenta", "pk": 952, "fields": { "schema": 44, "order": 18, "alias": "D6", "cst_type": "term", "convention": "", "term_raw": "Поглощаемые объекты процесса", "term_resolved": "Поглощаемые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)\\pr3(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса" } }, { "model": "rsform.constituenta", "pk": 953, "fields": { "schema": 44, "order": 19, "alias": "D7", "cst_type": "term", "convention": "", "term_raw": "Создаваемые объекты процесса", "term_resolved": "Создаваемые объекты процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr3(ξ)\\pr1(ξ)}", "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса", "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса" } }, { "model": "rsform.constituenta", "pk": 954, "fields": { "schema": 44, "order": 20, "alias": "D8", "cst_type": "term", "convention": "", "term_raw": "Неизменяемые объекты", "term_resolved": "Неизменяемые объекты", "term_forms": [], "definition_formal": "X1 \\ red(Pr2(D6))", "definition_raw": "Множество объектов, для которых нет процесса, поглащающего данный объект", "definition_resolved": "Множество объектов, для которых нет процесса, поглащающего данный объект" } }, { "model": "rsform.constituenta", "pk": 955, "fields": { "schema": 44, "order": 21, "alias": "D9", "cst_type": "term", "convention": "", "term_raw": "Невосполнимые объекты", "term_resolved": "Невосполнимые объекты", "term_forms": [], "definition_formal": "X1 \\ red(Pr2(D7))", "definition_raw": "Множество объектов, для которых нет процесса, создающего данный объект", "definition_resolved": "Множество объектов, для которых нет процесса, создающего данный объект" } }, { "model": "rsform.constituenta", "pk": 956, "fields": { "schema": 44, "order": 22, "alias": "F1", "cst_type": "function", "convention": "", "term_raw": "Связанные тройки", "term_resolved": "Связанные тройки", "term_forms": [], "definition_formal": "[α∈ℬ(ℬ(R1)×R2×ℬ(R1))] D{(σ1,σ2)∈α×α | pr3(σ1)∩pr1(σ2)≠∅}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 957, "fields": { "schema": 44, "order": 23, "alias": "F2", "cst_type": "function", "convention": "", "term_raw": "Связные сети", "term_resolved": "Связные сети", "term_forms": [], "definition_formal": "[λ∈ℬ(R1×R1)] \nD{ξ∈ℬ(Pr1(λ)∪Pr2(λ)) | ∀α∈ξ ∃β∈ξ (α≠β & ((α,β)∈λ ∨ (β,α)∈λ))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "rsform.constituenta", "pk": 958, "fields": { "schema": 44, "order": 24, "alias": "D10", "cst_type": "term", "convention": "", "term_raw": "Связанные элементарные процессы", "term_resolved": "Связанные элементарные процессы", "term_forms": [], "definition_formal": "F1[S1]", "definition_raw": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются", "definition_resolved": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются" } }, { "model": "rsform.constituenta", "pk": 959, "fields": { "schema": 44, "order": 25, "alias": "D11", "cst_type": "term", "convention": "(в т.ч. составного, т.е. сети процессов)", "term_raw": "Необходимые процессы для процесса", "term_resolved": "Необходимые процессы для процесса", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=Pr1(Fi2[{ξ}](D10))}", "definition_raw": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс", "definition_resolved": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс" } }, { "model": "rsform.constituenta", "pk": 960, "fields": { "schema": 44, "order": 26, "alias": "D12", "cst_type": "term", "convention": "", "term_raw": "Сети элементарных процессов", "term_resolved": "Сети элементарных процессов", "term_forms": [], "definition_formal": "F2[D10]", "definition_raw": "Множество множеств процессов, связанных по входам и выходам", "definition_resolved": "Множество множеств процессов, связанных по входам и выходам" } }, { "model": "rsform.constituenta", "pk": 961, "fields": { "schema": 44, "order": 27, "alias": "D13", "cst_type": "term", "convention": "", "term_raw": "Несвязанные входы и выходы сети процессов", "term_resolved": "Несвязанные входы и выходы сети процессов", "term_forms": [], "definition_formal": "I{(ξ,σ1,σ2) | ξ:∈D12; σ1:= red(Pr1(ξ)\\Pr3(ξ)); σ2:= red(Pr3(ξ)\\Pr1(ξ))}", "definition_raw": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов", "definition_resolved": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов" } }, { "model": "rsform.constituenta", "pk": 962, "fields": { "schema": 44, "order": 29, "alias": "D15", "cst_type": "term", "convention": "", "term_raw": "Внутренние объекты сети процессов", "term_resolved": "Внутренние объекты сети процессов", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D12; σ:=red(Pr1(ξ))∩red(Pr3(ξ))}", "definition_raw": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети", "definition_resolved": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети" } }, { "model": "rsform.constituenta", "pk": 963, "fields": { "schema": 44, "order": 28, "alias": "D14", "cst_type": "term", "convention": "", "term_raw": "Составные процессы", "term_resolved": "Составные процессы", "term_forms": [], "definition_formal": "Pr2,1,3(D13)", "definition_raw": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов", "definition_resolved": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов" } }, { "model": "rsform.constituenta", "pk": 964, "fields": { "schema": 44, "order": 30, "alias": "D16", "cst_type": "term", "convention": "", "term_raw": "Связанные составные процессы", "term_resolved": "Связанные составные процессы", "term_forms": [], "definition_formal": "F1[D14]", "definition_raw": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго", "definition_resolved": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго" } }, { "model": "rsform.constituenta", "pk": 965, "fields": { "schema": 44, "order": 31, "alias": "D17", "cst_type": "term", "convention": "", "term_raw": "Сети составных процессов", "term_resolved": "Сети составных процессов", "term_forms": [], "definition_formal": "F2[D16]", "definition_raw": "Множество множеств составных процессов, связанных по входам и выходам", "definition_resolved": "Множество множеств составных процессов, связанных по входам и выходам" } }, { "model": "rsform.constituenta", "pk": 966, "fields": { "schema": 44, "order": 32, "alias": "D18", "cst_type": "term", "convention": "!!!", "term_raw": "Топология сети процессов", "term_resolved": "Топология сети процессов", "term_forms": [], "definition_formal": "{ξ∈ℬ(D17) |∀α,β∈ξ ∀γ∈ℬ(ℬ(X1)×ℬ(ℬ(X1)×X2×ℬ(X1))×ℬ(X1)) ((debool(α)=debool(β)) & (debool(γ)=debool(α) ⇒ γ∈ξ))}", "definition_raw": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети.", "definition_resolved": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети." } }, { "model": "rsform.constituenta", "pk": 967, "fields": { "schema": 44, "order": 33, "alias": "D19", "cst_type": "term", "convention": "", "term_raw": "Однократная сеть процессов", "term_resolved": "Однократная сеть процессов", "term_forms": [], "definition_formal": "{ξ∈D17 |{ξ}∈D18 }", "definition_raw": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов", "definition_resolved": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов" } }, { "model": "rsform.constituenta", "pk": 968, "fields": { "schema": 44, "order": 34, "alias": "D20", "cst_type": "term", "convention": "", "term_raw": "Воспроизводящаяся сеть процессов", "term_resolved": "Воспроизводящаяся сеть процессов", "term_forms": [], "definition_formal": "{ξ∈D18 | card(ξ)≥2}", "definition_raw": "Группы из двух и более сетей процессов с одинаковой топологией", "definition_resolved": "Группы из двух и более сетей процессов с одинаковой топологией" } }, { "model": "rsform.constituenta", "pk": 969, "fields": { "schema": 44, "order": 35, "alias": "D21", "cst_type": "term", "convention": "", "term_raw": "Процессная целостность", "term_resolved": "Процессная целостность", "term_forms": [], "definition_formal": "{ξ∈D20| ∀α∈ξ ∃β∈ξ ((α≠β) ⇒ ((Pr1(α)∩Pr3(β))≠∅ ∨ (Pr3(α)∩Pr1(β))≠∅))}", "definition_raw": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам.", "definition_resolved": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам." } }, { "model": "rsform.constituenta", "pk": 970, "fields": { "schema": 44, "order": 2, "alias": "X3", "cst_type": "basic", "convention": "Под «веществом» понимается химическое название вещества", "term_raw": "Вещества", "term_resolved": "Вещества", "term_forms": [], "definition_formal": "", "definition_raw": "Множества веществ", "definition_resolved": "Множества веществ" } }, { "model": "rsform.constituenta", "pk": 972, "fields": { "schema": 44, "order": 3, "alias": "X4", "cst_type": "basic", "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)", "term_raw": "Топосы", "term_resolved": "Топосы", "term_forms": [], "definition_formal": "", "definition_raw": "Множество топосов", "definition_resolved": "Множество топосов" } }, { "model": "rsform.constituenta", "pk": 973, "fields": { "schema": 44, "order": 7, "alias": "S2", "cst_type": "structure", "convention": "", "term_raw": "Отношение объектов и веществ", "term_resolved": "Отношение объектов и веществ", "term_forms": [], "definition_formal": "ℬ(X1×X3) ", "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта", "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта" } }, { "model": "rsform.constituenta", "pk": 974, "fields": { "schema": 44, "order": 8, "alias": "S3", "cst_type": "structure", "convention": "", "term_raw": "Положение объектов", "term_resolved": "Положение объектов", "term_forms": [], "definition_formal": "ℬ(X1×X4)", "definition_raw": "Множество пар: объект и топос, в котором находится объект", "definition_resolved": "Множество пар: объект и топос, в котором находится объект" } }, { "model": "rsform.constituenta", "pk": 975, "fields": { "schema": 44, "order": 36, "alias": "D22", "cst_type": "term", "convention": "", "term_raw": "Непротяженные объекты", "term_resolved": "Непротяженные объекты", "term_forms": [], "definition_formal": "X1 \\ Pr1(S3)", "definition_raw": "Множество объектов, не находящихся ни в одном топосе", "definition_resolved": "Множество объектов, не находящихся ни в одном топосе" } }, { "model": "rsform.constituenta", "pk": 976, "fields": { "schema": 44, "order": 9, "alias": "D1", "cst_type": "term", "convention": "", "term_raw": "Нематериальные объекты", "term_resolved": "Нематериальные объекты", "term_forms": [], "definition_formal": "X1 \\ Pr1(S2)", "definition_raw": "Множество объектов, не состоящих из веществ", "definition_resolved": "Множество объектов, не состоящих из веществ" } }, { "model": "rsform.constituenta", "pk": 977, "fields": { "schema": 44, "order": 10, "alias": "A2", "cst_type": "axiom", "convention": "", "term_raw": "", "term_resolved": "", "term_forms": [], "definition_formal": "D1 = ∅", "definition_raw": "Каждый объект состоит хотя бы из одного вещества", "definition_resolved": "Каждый объект состоит хотя бы из одного вещества" } }, { "model": "rsform.constituenta", "pk": 978, "fields": { "schema": 44, "order": 11, "alias": "D2", "cst_type": "term", "convention": "", "term_raw": "Пустые топосы", "term_resolved": "Пустые топосы", "term_forms": [], "definition_formal": "X4 \\ Pr2(S3)", "definition_raw": "Множество топосов, в которых не находится ни одного объекта", "definition_resolved": "Множество топосов, в которых не находится ни одного объекта" } }, { "model": "rsform.constituenta", "pk": 979, "fields": { "schema": 44, "order": 12, "alias": "A3", "cst_type": "axiom", "convention": "", "term_raw": "Пустых топосов нет", "term_resolved": "Пустых топосов нет", "term_forms": [], "definition_formal": "D2 = ∅", "definition_raw": "Каждый топос содержит хотя бы один объект", "definition_resolved": "Каждый топос содержит хотя бы один объект" } }, { "model": "rsform.constituenta", "pk": 980, "fields": { "schema": 44, "order": 37, "alias": "D23", "cst_type": "term", "convention": "", "term_raw": "Составы объектов", "term_resolved": "Составы объектов", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X1; σ:=Pr2(Fi1[{ξ}](S2))}", "definition_raw": "Множество пар: объект и множество всех составляющих его веществ", "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ" } }, { "model": "rsform.constituenta", "pk": 981, "fields": { "schema": 44, "order": 38, "alias": "D24", "cst_type": "term", "convention": "", "term_raw": "Объекты, содержащие вещество", "term_resolved": "Объекты, содержащие вещество", "term_forms": [], "definition_formal": "I{(α,σ) | α:∈X3; σ:=Pr1(Fi2[{α}](S2))}", "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество", "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество" } }, { "model": "rsform.constituenta", "pk": 982, "fields": { "schema": 44, "order": 13, "alias": "D3", "cst_type": "term", "convention": "", "term_raw": "Смеси (Объектные среды)", "term_resolved": "Смеси (Объектные среды)", "term_forms": [], "definition_formal": "I{(λ,σ) | λ:∈X4; σ:=Pr1(Fi2[{λ}](S3))}", "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе", "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 983, "fields": { "schema": 44, "order": 39, "alias": "D25", "cst_type": "term", "convention": "", "term_raw": "Составы смесей", "term_resolved": "Составы смесей", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr2(Fi1[pr2(ξ)](S2))}", "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов", "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов" } }, { "model": "rsform.constituenta", "pk": 984, "fields": { "schema": 44, "order": 40, "alias": "D26", "cst_type": "term", "convention": "", "term_raw": "Концентрации веществ в топосе", "term_resolved": "Концентрации веществ в топосе", "term_forms": [], "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X3; τ:∈X4; \nσ2:=Pr1(Fi2[{τ}](S3)); \nσα:=Pr1(Fi2[{α}](S2)); \nσ1:=σ2∩σα}", "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе", "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе" } }, { "model": "rsform.constituenta", "pk": 985, "fields": { "schema": 44, "order": 41, "alias": "D27", "cst_type": "term", "convention": "", "term_raw": "Универсальные вещества", "term_resolved": "Универсальные вещества", "term_forms": [], "definition_formal": "D{ξ∈X3 | Pr1(Fi2[{ξ}](S2)) = X1}", "definition_raw": "Множество веществ, входящий в каждый объект", "definition_resolved": "Множество веществ, входящий в каждый объект" } }, { "model": "rsform.constituenta", "pk": 986, "fields": { "schema": 44, "order": 4, "alias": "X5", "cst_type": "basic", "convention": "", "term_raw": "Типы отношений", "term_resolved": "Типы отношений", "term_forms": [], "definition_formal": "", "definition_raw": "Множество типов отношений", "definition_resolved": "Множество типов отношений" } }, { "model": "rsform.constituenta", "pk": 987, "fields": { "schema": 44, "order": 14, "alias": "S4", "cst_type": "structure", "convention": "", "term_raw": "Отношения между объектами", "term_resolved": "Отношения между объектами", "term_forms": [], "definition_formal": "ℬ(D3×D3×X5)", "definition_raw": "Множество троек: два объекта и тип отношения между ними", "definition_resolved": "Множество троек: два объекта и тип отношения между ними" } }, { "model": "rsform.constituenta", "pk": 988, "fields": { "schema": 44, "order": 16, "alias": "A4", "cst_type": "axiom", "convention": "", "term_raw": "Симметричность", "term_resolved": "Симметричность", "term_forms": [], "definition_formal": "∀(α,β,γ)∈S4 (β,α,γ)∈S4", "definition_raw": "Симметричность отношений между объектами", "definition_resolved": "Симметричность отношений между объектами" } }, { "model": "rsform.constituenta", "pk": 989, "fields": { "schema": 44, "order": 42, "alias": "D28", "cst_type": "term", "convention": "", "term_raw": "Аспекты объекта", "term_resolved": "Аспекты объекта", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr3(Fi1[{ξ}](S4))}", "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит", "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит" } }, { "model": "rsform.constituenta", "pk": 990, "fields": { "schema": 44, "order": 15, "alias": "D4", "cst_type": "term", "convention": "", "term_raw": "Связанные объекты", "term_resolved": "Связанные объекты", "term_forms": [], "definition_formal": "Pr1,2(S4)", "definition_raw": "Множество пар: объект и связанный с ним объект", "definition_resolved": "Множество пар: объект и связанный с ним объект" } }, { "model": "rsform.constituenta", "pk": 991, "fields": { "schema": 44, "order": 43, "alias": "D29", "cst_type": "term", "convention": "", "term_raw": "Объекты, состоящие в заданном отношении", "term_resolved": "Объекты, состоящие в заданном отношении", "term_forms": [], "definition_formal": "I{(ξ,σ) | ξ:∈X5; σ:=Pr1(Fi3[{ξ}](S4))}", "definition_raw": "", "definition_resolved": "" } }, { "model": "oss.argument", "pk": 7, "fields": { "operation": 9, "argument": 1, "order": 0 } }, { "model": "oss.argument", "pk": 8, "fields": { "operation": 9, "argument": 2, "order": 1 } }, { "model": "oss.argument", "pk": 9, "fields": { "operation": 10, "argument": 4, "order": 0 } }, { "model": "oss.argument", "pk": 10, "fields": { "operation": 10, "argument": 9, "order": 1 } }, { "model": "oss.inheritance", "pk": 24, "fields": { "operation": 9, "parent": 854, "child": 924 } }, { "model": "oss.inheritance", "pk": 25, "fields": { "operation": 9, "parent": 855, "child": 925 } }, { "model": "oss.inheritance", "pk": 26, "fields": { "operation": 9, "parent": 856, "child": 926 } }, { "model": "oss.inheritance", "pk": 27, "fields": { "operation": 9, "parent": 857, "child": 927 } }, { "model": "oss.inheritance", "pk": 28, "fields": { "operation": 9, "parent": 858, "child": 928 } }, { "model": "oss.inheritance", "pk": 29, "fields": { "operation": 9, "parent": 859, "child": 929 } }, { "model": "oss.inheritance", "pk": 30, "fields": { "operation": 9, "parent": 860, "child": 930 } }, { "model": "oss.inheritance", "pk": 31, "fields": { "operation": 9, "parent": 861, "child": 931 } }, { "model": "oss.inheritance", "pk": 32, "fields": { "operation": 9, "parent": 862, "child": 932 } }, { "model": "oss.inheritance", "pk": 33, "fields": { "operation": 9, "parent": 863, "child": 933 } }, { "model": "oss.inheritance", "pk": 34, "fields": { "operation": 9, "parent": 864, "child": 934 } }, { "model": "oss.inheritance", "pk": 35, "fields": { "operation": 9, "parent": 865, "child": 935 } }, { "model": "oss.inheritance", "pk": 36, "fields": { "operation": 9, "parent": 866, "child": 936 } }, { "model": "oss.inheritance", "pk": 37, "fields": { "operation": 9, "parent": 867, "child": 937 } }, { "model": "oss.inheritance", "pk": 38, "fields": { "operation": 9, "parent": 868, "child": 938 } }, { "model": "oss.inheritance", "pk": 39, "fields": { "operation": 9, "parent": 869, "child": 939 } }, { "model": "oss.inheritance", "pk": 40, "fields": { "operation": 9, "parent": 872, "child": 941 } }, { "model": "oss.inheritance", "pk": 41, "fields": { "operation": 9, "parent": 873, "child": 942 } }, { "model": "oss.inheritance", "pk": 42, "fields": { "operation": 9, "parent": 874, "child": 943 } }, { "model": "oss.inheritance", "pk": 43, "fields": { "operation": 9, "parent": 875, "child": 944 } }, { "model": "oss.inheritance", "pk": 44, "fields": { "operation": 9, "parent": 876, "child": 945 } }, { "model": "oss.inheritance", "pk": 45, "fields": { "operation": 9, "parent": 877, "child": 946 } }, { "model": "oss.inheritance", "pk": 46, "fields": { "operation": 10, "parent": 878, "child": 947 } }, { "model": "oss.inheritance", "pk": 47, "fields": { "operation": 10, "parent": 879, "child": 948 } }, { "model": "oss.inheritance", "pk": 48, "fields": { "operation": 10, "parent": 880, "child": 949 } }, { "model": "oss.inheritance", "pk": 49, "fields": { "operation": 10, "parent": 881, "child": 950 } }, { "model": "oss.inheritance", "pk": 50, "fields": { "operation": 10, "parent": 882, "child": 951 } }, { "model": "oss.inheritance", "pk": 51, "fields": { "operation": 10, "parent": 883, "child": 952 } }, { "model": "oss.inheritance", "pk": 52, "fields": { "operation": 10, "parent": 884, "child": 953 } }, { "model": "oss.inheritance", "pk": 53, "fields": { "operation": 10, "parent": 885, "child": 954 } }, { "model": "oss.inheritance", "pk": 54, "fields": { "operation": 10, "parent": 886, "child": 955 } }, { "model": "oss.inheritance", "pk": 55, "fields": { "operation": 10, "parent": 887, "child": 956 } }, { "model": "oss.inheritance", "pk": 56, "fields": { "operation": 10, "parent": 888, "child": 957 } }, { "model": "oss.inheritance", "pk": 57, "fields": { "operation": 10, "parent": 889, "child": 958 } }, { "model": "oss.inheritance", "pk": 58, "fields": { "operation": 10, "parent": 890, "child": 959 } }, { "model": "oss.inheritance", "pk": 59, "fields": { "operation": 10, "parent": 891, "child": 960 } }, { "model": "oss.inheritance", "pk": 60, "fields": { "operation": 10, "parent": 892, "child": 961 } }, { "model": "oss.inheritance", "pk": 61, "fields": { "operation": 10, "parent": 893, "child": 962 } }, { "model": "oss.inheritance", "pk": 62, "fields": { "operation": 10, "parent": 894, "child": 963 } }, { "model": "oss.inheritance", "pk": 63, "fields": { "operation": 10, "parent": 895, "child": 964 } }, { "model": "oss.inheritance", "pk": 64, "fields": { "operation": 10, "parent": 896, "child": 965 } }, { "model": "oss.inheritance", "pk": 65, "fields": { "operation": 10, "parent": 897, "child": 966 } }, { "model": "oss.inheritance", "pk": 66, "fields": { "operation": 10, "parent": 898, "child": 967 } }, { "model": "oss.inheritance", "pk": 67, "fields": { "operation": 10, "parent": 899, "child": 968 } }, { "model": "oss.inheritance", "pk": 68, "fields": { "operation": 10, "parent": 900, "child": 969 } }, { "model": "oss.inheritance", "pk": 69, "fields": { "operation": 10, "parent": 924, "child": 970 } }, { "model": "oss.inheritance", "pk": 70, "fields": { "operation": 10, "parent": 926, "child": 972 } }, { "model": "oss.inheritance", "pk": 71, "fields": { "operation": 10, "parent": 927, "child": 973 } }, { "model": "oss.inheritance", "pk": 72, "fields": { "operation": 10, "parent": 928, "child": 974 } }, { "model": "oss.inheritance", "pk": 73, "fields": { "operation": 10, "parent": 929, "child": 975 } }, { "model": "oss.inheritance", "pk": 74, "fields": { "operation": 10, "parent": 930, "child": 976 } }, { "model": "oss.inheritance", "pk": 75, "fields": { "operation": 10, "parent": 931, "child": 977 } }, { "model": "oss.inheritance", "pk": 76, "fields": { "operation": 10, "parent": 932, "child": 978 } }, { "model": "oss.inheritance", "pk": 77, "fields": { "operation": 10, "parent": 933, "child": 979 } }, { "model": "oss.inheritance", "pk": 78, "fields": { "operation": 10, "parent": 934, "child": 980 } }, { "model": "oss.inheritance", "pk": 79, "fields": { "operation": 10, "parent": 935, "child": 981 } }, { "model": "oss.inheritance", "pk": 80, "fields": { "operation": 10, "parent": 936, "child": 982 } }, { "model": "oss.inheritance", "pk": 81, "fields": { "operation": 10, "parent": 937, "child": 983 } }, { "model": "oss.inheritance", "pk": 82, "fields": { "operation": 10, "parent": 938, "child": 984 } }, { "model": "oss.inheritance", "pk": 83, "fields": { "operation": 10, "parent": 939, "child": 985 } }, { "model": "oss.inheritance", "pk": 84, "fields": { "operation": 10, "parent": 941, "child": 986 } }, { "model": "oss.inheritance", "pk": 85, "fields": { "operation": 10, "parent": 942, "child": 987 } }, { "model": "oss.inheritance", "pk": 86, "fields": { "operation": 10, "parent": 943, "child": 988 } }, { "model": "oss.inheritance", "pk": 87, "fields": { "operation": 10, "parent": 944, "child": 989 } }, { "model": "oss.inheritance", "pk": 88, "fields": { "operation": 10, "parent": 945, "child": 990 } }, { "model": "oss.inheritance", "pk": 89, "fields": { "operation": 10, "parent": 946, "child": 991 } }, { "model": "oss.substitution", "pk": 1, "fields": { "operation": 9, "original": 871, "substitution": 866 } }, { "model": "oss.substitution", "pk": 2, "fields": { "operation": 10, "original": 925, "substitution": 878 } }, { "model": "oss.operation", "pk": 1, "fields": { "oss": 41, "operation_type": "input", "result": 38, "alias": "КС Вещества", "title": "Вещества и смеси", "comment": "", "position_x": 530.0, "position_y": 370.0 } }, { "model": "oss.operation", "pk": 2, "fields": { "oss": 41, "operation_type": "input", "result": 39, "alias": "КС ООО", "title": "Объект-объектные отношения", "comment": "", "position_x": 710.0, "position_y": 370.0 } }, { "model": "oss.operation", "pk": 4, "fields": { "oss": 41, "operation_type": "input", "result": 40, "alias": "КС Процессы", "title": "Процессы", "comment": "", "position_x": 890.0, "position_y": 370.0 } }, { "model": "oss.operation", "pk": 9, "fields": { "oss": 41, "operation_type": "synthesis", "result": 43, "alias": "КС Объект-сред", "title": "Объектная среда", "comment": "", "position_x": 620.0, "position_y": 470.0 } }, { "model": "oss.operation", "pk": 10, "fields": { "oss": 41, "operation_type": "synthesis", "result": 44, "alias": "КС Проц-сред", "title": "Процессные среды", "comment": "", "position_x": 760.0, "position_y": 570.0 } } ]