Uses of Class uk.ac.manchester.cs.jfact.EntailmentChecker (JFact 5.0.0 API)

Packages that use EntailmentChecker
Package	Description
uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return EntailmentChecker
Modifier and Type	Method and Description
`EntailmentChecker`	TranslationMachinery.`getEntailmentChecker()`

Uses of Classuk.ac.manchester.cs.jfact.EntailmentChecker