Method | Description | |
---|---|---|
ttCheckAll ( |
||
ttEntails ( |
public ttCheckAll ( |
||
kbSentence | ||
querySentence | ||
symbols | List |
|
model | ||
return | bool |
public ttEntails ( |
||
kb | ||
alpha | String | |
return | bool |