СУМО
material
ID: sumo
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| partOf | Онтология | material | Просмотр |
| usedFor | Классификация на основе онтологии | method | Просмотр |
| usedFor | Автоматическое доказательство теорем | method | Просмотр |