А есть примеры систем, в которых на ряду с термами,

Question

А есть примеры систем, в которых на ряду с термами,

существуют сущности другой природы, которым также приписываются типы?

То есть, например, термам приписываются одни типы,
сущностям другой природы приписываются другие типы,
сущностям третьей природы приписываются третие типы.

0

21.05.2023

5 ответов

27 просмотров

Alexander Chichigin

Не вижу никакого смысла. Термы — это сущности природы "синтаксис". Типы приписываются синтаксическим конструкциям, т.е. термам. Если будут какие-то не синтаксические сущности — им нельзя будет приписать тип. Я вообще не понимаю, как Вы хотите работать с несинтаксическими сущностями.

0

21.05.2023

Антонидзе Кучпилип Автор вопроса

Alexander Chichigin
Не вижу никакого смысла. Термы — это сущности прир...

А если раскрашивать термы и типы, и при этом каждому терму некоторого цвета приписывать тип того же цвета?

0

21.05.2023

Антонидзе Кучпилип Автор вопроса

Антонидзе Кучпилип
А если раскрашивать термы и типы, и при этом каждо...

@zukaboo

0

21.05.2023