4769 lines
149 KiB
JSON
4769 lines
149 KiB
JSON
|
[
|
|||
|
|
{
|
|||
|
|
"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": "rsform.constituenta",
|
|||
|
|
"pk": 589,
|
|||
|
|
"fields": {
|
|||
|
|
"schema": 34,
|
|||
|
|
"order": 1,
|
|||
|
|
"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": 2,
|
|||
|
|
"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": 3,
|
|||
|
|
"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": 4,
|
|||
|
|
"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": 5,
|
|||
|
|
"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": 6,
|
|||
|
|
"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": 7,
|
|||
|
|
"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": 8,
|
|||
|
|
"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": 9,
|
|||
|
|
"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": 10,
|
|||
|
|
"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": 11,
|
|||
|
|
"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": 12,
|
|||
|
|
"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": 13,
|
|||
|
|
"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": 14,
|
|||
|
|
"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": 15,
|
|||
|
|
"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": 16,
|
|||
|
|
"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": 17,
|
|||
|
|
"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": 18,
|
|||
|
|
"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": 19,
|
|||
|
|
"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": 20,
|
|||
|
|
"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": 21,
|
|||
|
|
"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": 22,
|
|||
|
|
"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": 23,
|
|||
|
|
"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": 24,
|
|||
|
|
"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": 25,
|
|||
|
|
"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": 26,
|
|||
|
|
"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": 27,
|
|||
|
|
"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": 28,
|
|||
|
|
"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": 29,
|
|||
|
|
"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": 30,
|
|||
|
|
"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": 31,
|
|||
|
|
"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": 32,
|
|||
|
|
"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": 33,
|
|||
|
|
"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": 34,
|
|||
|
|
"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": 35,
|
|||
|
|
"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": 36,
|
|||
|
|
"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": 37,
|
|||
|
|
"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": 38,
|
|||
|
|
"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": 39,
|
|||
|
|
"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": 40,
|
|||
|
|
"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": 41,
|
|||
|
|
"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": 42,
|
|||
|
|
"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": 43,
|
|||
|
|
"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": 44,
|
|||
|
|
"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": 45,
|
|||
|
|
"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": 46,
|
|||
|
|
"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": 47,
|
|||
|
|
"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": 48,
|
|||
|
|
"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": 49,
|
|||
|
|
"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": 50,
|
|||
|
|
"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": 51,
|
|||
|
|
"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": 52,
|
|||
|
|
"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": 53,
|
|||
|
|
"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": 54,
|
|||
|
|
"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": 55,
|
|||
|
|
"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": 56,
|
|||
|
|
"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": 57,
|
|||
|
|
"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": 58,
|
|||
|
|
"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": 59,
|
|||
|
|
"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": 60,
|
|||
|
|
"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": 61,
|
|||
|
|
"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": 62,
|
|||
|
|
"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": 63,
|
|||
|
|
"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": 64,
|
|||
|
|
"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": 65,
|
|||
|
|
"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": 66,
|
|||
|
|
"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": 67,
|
|||
|
|
"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": 68,
|
|||
|
|
"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": 69,
|
|||
|
|
"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": 70,
|
|||
|
|
"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": 71,
|
|||
|
|
"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": 72,
|
|||
|
|
"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": 73,
|
|||
|
|
"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": 74,
|
|||
|
|
"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": 75,
|
|||
|
|
"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": 76,
|
|||
|
|
"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": 77,
|
|||
|
|
"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": 78,
|
|||
|
|
"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": 79,
|
|||
|
|
"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": 80,
|
|||
|
|
"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": 81,
|
|||
|
|
"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": 82,
|
|||
|
|
"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": 83,
|
|||
|
|
"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": 84,
|
|||
|
|
"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": 85,
|
|||
|
|
"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": 86,
|
|||
|
|
"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": 87,
|
|||
|
|
"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": 88,
|
|||
|
|
"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": 89,
|
|||
|
|
"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": 90,
|
|||
|
|
"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": 91,
|
|||
|
|
"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": 92,
|
|||
|
|
"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": 93,
|
|||
|
|
"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": 94,
|
|||
|
|
"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": 95,
|
|||
|
|
"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": 96,
|
|||
|
|
"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": 97,
|
|||
|
|
"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": 98,
|
|||
|
|
"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": 99,
|
|||
|
|
"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": 100,
|
|||
|
|
"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": 101,
|
|||
|
|
"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": 102,
|
|||
|
|
"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": 103,
|
|||
|
|
"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": 104,
|
|||
|
|
"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": 105,
|
|||
|
|
"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": 106,
|
|||
|
|
"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": 107,
|
|||
|
|
"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": 108,
|
|||
|
|
"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": 109,
|
|||
|
|
"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": 110,
|
|||
|
|
"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": 111,
|
|||
|
|
"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": 1,
|
|||
|
|
"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": 2,
|
|||
|
|
"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": 3,
|
|||
|
|
"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": 4,
|
|||
|
|
"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": 5,
|
|||
|
|
"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": 6,
|
|||
|
|
"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": 7,
|
|||
|
|
"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": 8,
|
|||
|
|
"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": 9,
|
|||
|
|
"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": 10,
|
|||
|
|
"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": 11,
|
|||
|
|
"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": 12,
|
|||
|
|
"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": 13,
|
|||
|
|
"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": 1,
|
|||
|
|
"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": 2,
|
|||
|
|
"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": 3,
|
|||
|
|
"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": 4,
|
|||
|
|
"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": 5,
|
|||
|
|
"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": 6,
|
|||
|
|
"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": 7,
|
|||
|
|
"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": 8,
|
|||
|
|
"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": 9,
|
|||
|
|
"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": 10,
|
|||
|
|
"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": 11,
|
|||
|
|
"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": 12,
|
|||
|
|
"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": 13,
|
|||
|
|
"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": 14,
|
|||
|
|
"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": 15,
|
|||
|
|
"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": 16,
|
|||
|
|
"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": 17,
|
|||
|
|
"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": 18,
|
|||
|
|
"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": 19,
|
|||
|
|
"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": 20,
|
|||
|
|
"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": 21,
|
|||
|
|
"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": 22,
|
|||
|
|
"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": 23,
|
|||
|
|
"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": 24,
|
|||
|
|
"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": 1,
|
|||
|
|
"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": 2,
|
|||
|
|
"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": 3,
|
|||
|
|
"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": 4,
|
|||
|
|
"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": 5,
|
|||
|
|
"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": 6,
|
|||
|
|
"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": 7,
|
|||
|
|
"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": 8,
|
|||
|
|
"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": 9,
|
|||
|
|
"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": 10,
|
|||
|
|
"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": 11,
|
|||
|
|
"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": 12,
|
|||
|
|
"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": 13,
|
|||
|
|
"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": 14,
|
|||
|
|
"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": 15,
|
|||
|
|
"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": 16,
|
|||
|
|
"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": 17,
|
|||
|
|
"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": 18,
|
|||
|
|
"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": 19,
|
|||
|
|
"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": 20,
|
|||
|
|
"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": 21,
|
|||
|
|
"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": 22,
|
|||
|
|
"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": 23,
|
|||
|
|
"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": 24,
|
|||
|
|
"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": 25,
|
|||
|
|
"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": 26,
|
|||
|
|
"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": 27,
|
|||
|
|
"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": 28,
|
|||
|
|
"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": 29,
|
|||
|
|
"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": 30,
|
|||
|
|
"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": 31,
|
|||
|
|
"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": 32,
|
|||
|
|
"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": 33,
|
|||
|
|
"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": 34,
|
|||
|
|
"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": 35,
|
|||
|
|
"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": 36,
|
|||
|
|
"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": 37,
|
|||
|
|
"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": 38,
|
|||
|
|
"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": 39,
|
|||
|
|
"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": 40,
|
|||
|
|
"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": 41,
|
|||
|
|
"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": 42,
|
|||
|
|
"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": 43,
|
|||
|
|
"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": 44,
|
|||
|
|
"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": 45,
|
|||
|
|
"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": 46,
|
|||
|
|
"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": 47,
|
|||
|
|
"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": 48,
|
|||
|
|
"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": 49,
|
|||
|
|
"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": 50,
|
|||
|
|
"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": 51,
|
|||
|
|
"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": 52,
|
|||
|
|
"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": 53,
|
|||
|
|
"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": 54,
|
|||
|
|
"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": 55,
|
|||
|
|
"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": 56,
|
|||
|
|
"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": 57,
|
|||
|
|
"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": 58,
|
|||
|
|
"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": 59,
|
|||
|
|
"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": 60,
|
|||
|
|
"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": 61,
|
|||
|
|
"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": 62,
|
|||
|
|
"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": 63,
|
|||
|
|
"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": 64,
|
|||
|
|
"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": 65,
|
|||
|
|
"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": 66,
|
|||
|
|
"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": 67,
|
|||
|
|
"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": 68,
|
|||
|
|
"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": 69,
|
|||
|
|
"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": 70,
|
|||
|
|
"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": 71,
|
|||
|
|
"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": 72,
|
|||
|
|
"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": 73,
|
|||
|
|
"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": 74,
|
|||
|
|
"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": 75,
|
|||
|
|
"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": 76,
|
|||
|
|
"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": 77,
|
|||
|
|
"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": 78,
|
|||
|
|
"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": 79,
|
|||
|
|
"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": 80,
|
|||
|
|
"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": 81,
|
|||
|
|
"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": 82,
|
|||
|
|
"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": 83,
|
|||
|
|
"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": 84,
|
|||
|
|
"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": 85,
|
|||
|
|
"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": 86,
|
|||
|
|
"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": 87,
|
|||
|
|
"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": 88,
|
|||
|
|
"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": 89,
|
|||
|
|
"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": 90,
|
|||
|
|
"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": 91,
|
|||
|
|
"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": 92,
|
|||
|
|
"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": 93,
|
|||
|
|
"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": 94,
|
|||
|
|
"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": 95,
|
|||
|
|
"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": 96,
|
|||
|
|
"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": 97,
|
|||
|
|
"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": 98,
|
|||
|
|
"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": 99,
|
|||
|
|
"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": 100,
|
|||
|
|
"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": 101,
|
|||
|
|
"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": 102,
|
|||
|
|
"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": 103,
|
|||
|
|
"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": 104,
|
|||
|
|
"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": 105,
|
|||
|
|
"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": 106,
|
|||
|
|
"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": 107,
|
|||
|
|
"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": 108,
|
|||
|
|
"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": 109,
|
|||
|
|
"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": 110,
|
|||
|
|
"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": 111,
|
|||
|
|
"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": 112,
|
|||
|
|
"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": 113,
|
|||
|
|
"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": 114,
|
|||
|
|
"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": 115,
|
|||
|
|
"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": 116,
|
|||
|
|
"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": 117,
|
|||
|
|
"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.editor",
|
|||
|
|
"pk": 2,
|
|||
|
|
"fields": {
|
|||
|
|
"item": 35,
|
|||
|
|
"editor": 3,
|
|||
|
|
"time_create": "2024-06-03T20:55:45.359Z"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.subscription",
|
|||
|
|
"pk": 11,
|
|||
|
|
"fields": {
|
|||
|
|
"user": 1,
|
|||
|
|
"item": 34
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.subscription",
|
|||
|
|
"pk": 12,
|
|||
|
|
"fields": {
|
|||
|
|
"user": 5,
|
|||
|
|
"item": 35
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.subscription",
|
|||
|
|
"pk": 13,
|
|||
|
|
"fields": {
|
|||
|
|
"user": 3,
|
|||
|
|
"item": 36
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.subscription",
|
|||
|
|
"pk": 14,
|
|||
|
|
"fields": {
|
|||
|
|
"user": 3,
|
|||
|
|
"item": 37
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.libraryitem",
|
|||
|
|
"pk": 34,
|
|||
|
|
"fields": {
|
|||
|
|
"item_type": "rsform",
|
|||
|
|
"owner": 1,
|
|||
|
|
"title": "Банк выражений",
|
|||
|
|
"alias": "БВ",
|
|||
|
|
"comment": "Банк шаблонов для генерации выражений",
|
|||
|
|
"visible": true,
|
|||
|
|
"read_only": false,
|
|||
|
|
"access_policy": "public",
|
|||
|
|
"location": "/L",
|
|||
|
|
"time_create": "2024-06-03T20:52:06.322Z",
|
|||
|
|
"time_update": "2024-06-03T20:52:06.325Z"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.libraryitem",
|
|||
|
|
"pk": 35,
|
|||
|
|
"fields": {
|
|||
|
|
"item_type": "rsform",
|
|||
|
|
"owner": 5,
|
|||
|
|
"title": "Групповая операция",
|
|||
|
|
"alias": "БК09",
|
|||
|
|
"comment": "",
|
|||
|
|
"visible": true,
|
|||
|
|
"read_only": false,
|
|||
|
|
"access_policy": "public",
|
|||
|
|
"location": "/S",
|
|||
|
|
"time_create": "2024-06-03T20:55:36.489Z",
|
|||
|
|
"time_update": "2024-06-03T20:55:36.492Z"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.libraryitem",
|
|||
|
|
"pk": 36,
|
|||
|
|
"fields": {
|
|||
|
|
"item_type": "rsform",
|
|||
|
|
"owner": 3,
|
|||
|
|
"title": "Булева алгебра",
|
|||
|
|
"alias": "БК12",
|
|||
|
|
"comment": "",
|
|||
|
|
"visible": true,
|
|||
|
|
"read_only": false,
|
|||
|
|
"access_policy": "public",
|
|||
|
|
"location": "/S",
|
|||
|
|
"time_create": "2024-06-03T20:58:30.529Z",
|
|||
|
|
"time_update": "2024-06-03T20:58:32.512Z"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.libraryitem",
|
|||
|
|
"pk": 37,
|
|||
|
|
"fields": {
|
|||
|
|
"item_type": "rsform",
|
|||
|
|
"owner": 3,
|
|||
|
|
"title": "Генеалогия",
|
|||
|
|
"alias": "D0001",
|
|||
|
|
"comment": "построено на основе понятия \"родство\" из Википедии",
|
|||
|
|
"visible": true,
|
|||
|
|
"read_only": false,
|
|||
|
|
"access_policy": "public",
|
|||
|
|
"location": "/U/test",
|
|||
|
|
"time_create": "2024-06-03T20:59:40.845Z",
|
|||
|
|
"time_update": "2024-06-03T21:00:01.809Z"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"model": "rsform.librarytemplate",
|
|||
|
|
"pk": 1,
|
|||
|
|
"fields": {
|
|||
|
|
"lib_source": 34
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
]
|