org.jscience.linguistics.kif
Classes 
BasicXMLelement
BasicXMLparser
CELT
Diagnostics
Edit
Formula
Graph
HTMLformatter
KB
KBmanager
KIF
KIFplus
NLformatter
ProofProcessor
ProofStep
StreamTokenizer_s
Vampire
WordNet