Uses of Class
org.opennars.language.Implication

Packages that use Implication

Package	Description
org.opennars.inference	The inference rules and control functions
org.opennars.language	Term hierarchy in Narsese Open-NARS implements the following formal language, Narsese.

Uses of Implication in org.opennars.inference

Methods in org.opennars.inference with parameters of type Implication

Modifier and Type	Method	Description
(package private) static void	SyllogisticRules.conditionalDedInd(Sentence premise1Sentence, Implication premise1, short index, Term premise2, int side, DerivationContext nal)	{<(&&, S1, S2, S3) ==> P>, S1} |- <(&&, S2, S3) ==> P> {<(&&, S2, S3) ==> P>, <S1 ==> S2>} |- <(&&, S1, S3) ==> P> {<(&&, S1, S3) ==> P>, <S1 ==> S2>} |- <(&&, S2, S3) ==> P>
private static void	RuleTables.conditionalDedIndWithVar(Sentence conditionalSentence, Implication conditional, short index, Statement statement, short side, DerivationContext nal)	Conditional deduction or induction, with variable unification

Uses of Implication in org.opennars.language

Methods in org.opennars.language that return Implication

Modifier and Type	Method	Description
Implication	Implication.clone()	Clone an object
Implication	Implication.clone(Term[] t)
static Implication	Implication.make(Term subject, Term predicate)	Try to make a new compound from two term.
static Implication	Implication.make(Term subject, Term predicate, int temporalOrder)