Class  Description 

AssociativeFOLFormula 
This class captures the common functionalities first order associative formulas like conjunction,
disjunction, etc.

Conjunction 
The classical conjunction of firstorder logic.

Contradiction 
A contradictory formula.

Disjunction 
The classical disjunction of firstorder logic.

EqualityPredicate 
This class models an equality predicate, meaning
a predicate of arity 2 that maps to the identity relation.

Equivalence 
The equivalence of firstorder logic.

ExistsQuantifiedFormula 
Existsquantified firstorder logic formula.

FOLAtom 
An atom in firstorder logic, i.e.

FolBeliefSet 
This class models a firstorder knowledge base, i.e.

FolFormula 
The common abstract class for formulas of firstorder logic.

FolSignature 
This class captures the signature of a specific
firstorder language.

ForallQuantifiedFormula 
ForAllquantified firstorder logic formula.

Implication 
The implication of firstorder logic.

InequalityPredicate 
This class models an inequality predicate, meaning
a predicate of arity 2 that maps to the complement of the identity relation.

LogicStructure 
This abstract class captures the common functionalities of both
formulas and terms.

Negation 
The classical negation of firstorder logic.

SpecialFormula 
This class captures the common functionalities of the special
formulas tautology and contradiction.

Tautology 
A tautological formula.
