Serialized Form

Package com.articulate.sigma

Class com.articulate.sigma.Document extends ArrayList<String> implements Serializable

Class com.articulate.sigma.SUMOKBtoTPTPKB.OrderedFormulae extends TreeSet<Formula> implements Serializable

Package jpl

Class jpl.JPLException extends RuntimeException implements Serializable

Class jpl.PrologException extends JPLException implements Serializable

Serialized Fields

term_

Term term_

Class jpl.QueryInProgressException extends JPLException implements Serializable

Serialized Fields

query_

Query query_