← К списку смыслов

Метатеорема (логическое утверждение)

Метатеорема — это утверждение о теоремах, доказывающее общие свойства теорем или теорий, а не конкретный факт.

Идентификатор
SL_00001187807
Уровень доверия
0
Обновлено
5 июн. 2026 г., 17:18
Embeddingsактуальны
2Прямые соседиСущности на расстоянии одного шага: классические синсеты, таксономия, связанные смыслы и категории. Доменные синсеты показаны как категории, леммы и системные ссылки не входят.
5Узлы в обзореВсе уникальные сущности локального графа плюс текущий смысл.
4СвязиЧисло строк в группах связей. Одна и та же сущность может учитываться в нескольких группах.
6Типы связейКоличество непустых групп и уникальных типов отношений в локальном графе.

Категории

Предметные области и доменные группы, к которым относится смысл.
0

Ничего не найдено.

Родительские понятия

Более общие понятия и верхние таксономические узлы.
0

Ничего не найдено.

Дочерние понятия

Более узкие понятия и дочерние таксономические ветви.
0

Ничего не найдено.

Синсеты

Классические семантические множества, где участвует текущий смысл. Доменные группы показаны отдельно в категориях.
1

Связанные смыслы

Соседние смыслы без строгой иерархии.
1

Леммы

Лексические формы, ведущие к этому смыслу.
2

Системные связи

Прочие доменные связи из локального графа.
0

Ничего не найдено.