nars.language
Class Property

java.lang.Object
  extended by nars.language.Term
      extended by nars.language.CompoundTerm
          extended by nars.language.Statement
              extended by nars.language.Property
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable<Term>

public abstract class Property
extends Statement

A Statement about a Property 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
Property()
           
 
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

Property

public Property()
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