Represents a Term function.
Jan Müller
The name of this function.
Represents a Term constant.
Represents an unary Term.
The name of the entity.
Evaluates this term to a Node.
Returns a raw String representation of an FOLEntity. This method should not be called directly, as it does not include brackets and dots.
Returns a String representation with no variable assignments and no brackets or dot at root level.
Returns a String representation with no variable assignments and optional brackets or dot at root level.