Package org.opennars.language

Class Inheritance

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Statement

org.opennars.language.Inheritance

All Implemented Interfaces:

Serializable, Cloneable, Comparable<AbstractTerm>, Iterable<Term>, AbstractTerm

Direct Known Subclasses:

Operation

public class Inheritance
extends Statement

A Statement about an Inheritance relation as defined in the NARS-theory

Author:

Pei Wang, Patrick Hammer

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.opennars.language.CompoundTerm

CompoundTerm.ConvRectangle, CompoundTerm.UnableToCloneException

Nested classes/interfaces inherited from class org.opennars.language.Statement

Statement.EnumStatementSide

Nested classes/interfaces inherited from class org.opennars.language.Term

Term.TermVisitor

Field Summary

Fields inherited from class org.opennars.language.CompoundTerm

complexity, conceptival, containedTemporalRelations, hash, term

Fields inherited from class org.opennars.language.Term

EmptyTermArray, imagination, index_variable, SELF, SEQ_SPATIAL, SEQ_TEMPORAL, term_indices

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Inheritance(Term[] arg)	Constructor with partial values, called by make
protected	Inheritance(Term subj, Term pred)

Method Summary

Modifier and Type	Method	Description
Inheritance	clone()	Clone an object
Inheritance	clone(Term[] t)	Must be Term return type because the type of Term may change with different arguments
static Inheritance	make(Term subject, Term predicate)	Try to make a new compound from two term.
static Term	makeTerm(Term subject, Term predicate)	alternate version of Inheritance.make that allows equivalent subject and predicate to be reduced to the common term.
Symbols.NativeOperator	operator()	Get the operator of the term.

Methods inherited from class org.opennars.language.CompoundTerm

addComponentsRecursively, addTermsTo, applySubstitute, applySubstituteToCompound, asTermList, cloneDeep, cloneDeepVariables, cloneTerms, cloneTermsAppend, cloneTermsDeep, cloneTermsExcept, cloneTermsListDeep, cloneTermsReplacing, cloneVariableTermsDeep, compareTo, containedTemporalRelations, containsAllTermsOf, containsTerm, containsTermRecursively, countTermRecursively, equals, extractIntervals, getComplexity, getContainedTerms, hashCode, hasInterval, hasVar, hasVarDep, hasVarIndep, hasVarQuery, invalidateName, isCommutative, isNormalized, iterator, makeCompoundName, name, prepareComponentLinks, replaceIntervals, setComponent, setNormalized, shuffle, size, termArray, termList, transformIndependentVariableToDependent, UpdateConvRectangle

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from class org.opennars.language.Statement

getPredicate, getSubject, init, invalid, invalidPair, invalidStatement, invalidStatement, make, make, make, make, makeName, makeStatementName, makeSym, retBySide, retOppositeSide

Methods inherited from class org.opennars.language.Term

get, get, getIsSpatial, getTemporalOrder, hasVar, isConstant, isExecutable, isHigherOrderStatement, isSelf, nameInternal, recurseSubtermsContainingVariables, recurseSubtermsContainingVariables, recurseTerms, setName, subjectOrPredicateIsIndependentVar, text, toSortedSet, toSortedSetArray, toString, valid

Constructor Detail

Inheritance

protected Inheritance(Term[] arg)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Inheritance

protected Inheritance(Term subj,
                      Term pred)

Method Detail

clone

public Inheritance clone()

Clone an object

Specified by:

clone in class Statement

Returns:

A new object, to be casted into a SetExt

clone

public Inheritance clone(Term[] t)

Description copied from class: CompoundTerm

Must be Term return type because the type of Term may change with different arguments

Specified by:

clone in class CompoundTerm

makeTerm

public static Term makeTerm(Term subject,
                            Term predicate)

alternate version of Inheritance.make that allows equivalent subject and predicate to be reduced to the common term.

make

public static Inheritance make(Term subject,
                               Term predicate)

Try to make a new compound from two term. Called by the inference rules.

Parameters:

subject - The first component

predicate - The second component

Returns:

A compound generated or null

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term