Uses of Package
jtp.fol

Packages that use jtp.fol

jtp	Provides the basic, most general classes of the JTP architecture.
jtp.classifier
jtp.context.rdf
jtp.demod
jtp.disp
jtp.fol	Provides classes representing structures of first order logic.
jtp.fol.kif
jtp.fol.parser
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.listen.dl
jtp.frame.vc
jtp.frame.vocab
jtp.func
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.proof	Classes supporting JTP's implementation of InferenceWeb proofs.
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.
jtp.time.demod
jtp.time.func
jtp.time.vocab
jtp.ui.rs

Classes in jtp.fol used by jtp

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.classifier

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.context.rdf

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.demod

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.disp

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.fol

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

SubstitutableList
A List that can substitute any of its elements with other objects from a substitution mapping.

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.fol.kif

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

SubstitutableList
A List that can substitute any of its elements with other objects from a substitution mapping.

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.fol.parser

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Classes in jtp.fol used by jtp.frame

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.frame.fc

Clause
A disjunction of Literals.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.frame.listen

Clause
A disjunction of Literals.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.frame.listen.dl

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.frame.vc

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.frame.vocab

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.func

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Variable
A Variable can be bound to (substituted with) some other Object.

Classes in jtp.fol used by jtp.gmp

Clause
A disjunction of Literals.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.modelim

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.proof

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Classes in jtp.fol used by jtp.rs

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.time

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.time.demod

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Unifyable
This interface represents non-elementary objects that can change depending on interpretation and/or variable assignment, or objects that reference such objects.

Classes in jtp.fol used by jtp.time.func

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.time.vocab

Symbol
A constant atomic symbol.

Classes in jtp.fol used by jtp.ui.rs

Clause
A disjunction of Literals.

CNFSentence
A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Literal
This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Symbol
A constant atomic symbol.