Package edu.tufts.hrilab.fol

package edu.tufts.hrilab.fol

Related Packages

Package	Description
edu.tufts.hrilab.fol.util

Classes

Class	Description
Constant	Representation of constant logical form.
Factory
Predicate	Representation of predicate logical form.
Symbol	Representation of symbol logical form.
Term	Representation of term logical form.
Variable	Representation of variable logical form.