|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| AtomicSentence | |
| FOLNode | |
| Sentence | |
| Term | |
| Class Summary | |
|---|---|
| ConnectedSentence | |
| Constant | |
| Function | |
| NotSentence | |
| Predicate | |
| QuantifiedSentence | |
| TermEquality | |
| Variable | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||