ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-25 20:40:36 +03:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
a6bf681765
ConceptPortal-public/rsconcept/backend/fixtures/InitialData.json
Ivan a6bf681765 M: Small fixes
2025-05-29 15:38:57 +03:00

7511 lines
240 KiB
JSON
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

[
{
"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": "БВ",
"description": "Банк шаблонов для генерации выражений",
"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",
"description": "",
"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",
"description": "",
"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",
"description": "построено на основе понятия \"родство\" из Википедии",
"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": "КС Вещества",
"description": "",
"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": "КС ООО",
"description": "",
"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": "КС Процессы",
"description": "",
"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": "ЭКОС",
"description": "",
"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": "КС Объект-сред",
"description": "",
"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": "КС Проц-сред",
"description": "",
"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,
"parent": null,
"operation_type": "input",
"result": 38,
"alias": "КС Вещества",
"title": "Вещества и смеси",
"description": ""
}
},
{
"model": "oss.operation",
"pk": 2,
"fields": {
"oss": 41,
"parent": null,
"operation_type": "input",
"result": 39,
"alias": "КС ООО",
"title": "Объект-объектные отношения",
"description": ""
}
},
{
"model": "oss.operation",
"pk": 4,
"fields": {
"oss": 41,
"parent": null,
"operation_type": "input",
"result": 40,
"alias": "КС Процессы",
"title": "Процессы",
"description": ""
}
},
{
"model": "oss.operation",
"pk": 9,
"fields": {
"oss": 41,
"parent": null,
"operation_type": "synthesis",
"result": 43,
"alias": "КС Объект-сред",
"title": "Объектная среда",
"description": ""
}
},
{
"model": "oss.operation",
"pk": 10,
"fields": {
"oss": 41,
"parent": null,
"operation_type": "synthesis",
"result": 44,
"alias": "КС Проц-сред",
"title": "Процессные среды",
"description": ""
}
},
{
"model": "oss.layout",
"pk": 1,
"fields": {
"oss": 41,
"data": {
"blocks": [],
"operations": [
{
"x": 530.0,
"y": 370.0,
"id": 1
},
{
"x": 710.0,
"y": 370.0,
"id": 2
},
{
"x": 890.0,
"y": 370.0,
"id": 4
},
{
"x": 620.0,
"y": 470.0,
"id": 9
},
{
"x": 760.0,
"y": 570.0,
"id": 10
}
]
}
}
}
]
Reference in New Issue View Git Blame Copy Permalink