nars.language
Class Instance

java.lang.Object
  nars.language.Term
      nars.language.CompoundTerm
          nars.language.Statement
              nars.language.Instance

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<Term>

public abstract class Instance
extends Statement

A Statement about an Instance relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.

Field Summary

Fields inherited from class nars.language.CompoundTerm

complexity, components, openVariables

Fields inherited from class nars.language.Term

name

Constructor Summary

Instance()

Method Summary

static Statement

make(Term subject, Term predicate) Try to make a new compound from two components.

Methods inherited from class nars.language.Statement

getPredicate, getSubject, invalid, invalidStatement, isRelation, make, make, make, makeName, makeStatementName, makeSym

Methods inherited from class nars.language.CompoundTerm

addComponents, argumentsToList, clone, cloneComponents, cloneList, componentAt, containAllComponents, containComponent, getComplexity, getComponents, getConstantName, getOpenVariables, isCommutative, isConstant, isOperator, make, make, makeCompoundName, makeImageName, makeSetName, operator, prepareComponentLinks, reduceComponents, renameVariables, renameVariables, replaceComponent, replaceComponent, size, substituteComponent

Methods inherited from class nars.language.Term

compareTo, equals, getName, getOrder, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Instance

public Instance()

Method Detail

make

public static Statement make(Term subject,
                             Term predicate)

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

A {-- B becomes {A} --> B

Parameters:

subject - The first compoment

predicate - The second compoment

Returns:

A compound generated or null