Cross-checking WordNet and SUMO Using Meronymy
17231Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Автоматты теорема дәлелдеу
Method |
enables |
Білімді тексеру
Task |
|
СУМО
Material |
usedFor |
Автоматты теорема дәлелдеу
Method |
|
WordNet
Material |
provides |
Меронимия
OtherEntity |
|
WordNet
Material |
usedFor |
Автоматты теорема дәлелдеу
Method |