A Tableau Prover for Natural Logic and Language
34231Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Алдын ала өңдегіш
Method |
creates |
Табиғи логика
Method |
|
SICK деректері
Material |
achieves |
Дәлдік
Metric |
|
SICK деректері
Material |
achieves |
Дәлдік
Metric |
|
Теорема дәлелдеуші
Method |
employs |
Аналитикалық таблица
Method |
|
Теорема дәлелдеуші
Method |
isBasedOn |
Табиғи логика
Method |