Synset #23593
теорема
- synset_type
- synset
- trust_level
- 0
- publish
- да
- identifier
SL_00002159495— теорема- updated_at
- 3 мая 2026 г., 08:55
← К списку синсетов
active
Senses (1)
| sense | id | definition |
|---|---|---|
| теорема (математическое утверждение) | 61029 | Теорема - это утверждение, которое может быть доказано на основе установленных истин и логических правил, часто представляющее собой важный результат в определенной области знаний. |
Wordforms (0)Wordforms с прямой привязкой к synset. Пустой список значит, что пока нет сырых форм (is_raw), найденных в текстах и связанных с этим synset через LLM для однозначной трактовки смысла.
Сырых wordforms с привязкой к этому synset пока нет.
Связи (2)
| Смысл для текущего synset | Другой synset | id |
|---|---|---|
| Более общее | Утверждение | 61042 |
| Более частное | лемма | 23594 |
В базе одна иерархия иногда записана дважды (например, hypernym и hyponym в обратных направлениях). В таблице показана одна нормализованная строка на смысл связи — скрыто 2 дубликатов.