C D G I M P S T

I

infer(Child) - Method in class com.hammurapi.reasoning.tutorial.rules.DaughterRule

infer(Son, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.GrandRules

Son of child is a grandson.

infer(Daughter, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.GrandRules

Daughter of child is a granddaughter.

infer(Child, Father) - Method in class com.hammurapi.reasoning.tutorial.rules.GrandRules

Father of parent is grandparent.

infer(Child, Mother) - Method in class com.hammurapi.reasoning.tutorial.rules.GrandRules

Mother of parent is grandmother.

infer(Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.ParentChildRules

Infers child relaitonship from parent relationship.

infer(Child) - Method in class com.hammurapi.reasoning.tutorial.rules.ParentChildRules

Infers parent relationship from child relationship

infer(Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.ParentRules

Male parent is father, female parent is mother.

infer(Child, Child, Sibling) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Infers cousin as a child or parent's sibling.

infer(Cousin) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

If A is a cousin of B then B is a cousin of A

infer(Aunt, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Another way to infer cousin to demonstrate mutiple derivations

infer(Uncle, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Another way to infer cousin to demonstrate mutiple derivations

infer(Sister, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Sister of parent is aunt.

infer(Wife, Uncle) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Wife of uncle is aunt.

infer(Brother, Parent) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Brother of parent is uncle.

infer(Husband, Aunt) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Husband of aunt is uncle.

infer(Daughter, Sibling) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Daughter of sibling is niece.

infer(Son, Sibling) - Method in class com.hammurapi.reasoning.tutorial.rules.SecondaryRules

Son of sibling is nephew.

infer(Sibling) - Method in class com.hammurapi.reasoning.tutorial.rules.SiblingRules

Male sibling is brother, female sibling is sister.

infer(Child, Child) - Method in class com.hammurapi.reasoning.tutorial.rules.SiblingRules

If two children have common parent then they are siblings.

infer(Child) - Method in class com.hammurapi.reasoning.tutorial.rules.SonRule

inferHusband(Spouse) - Method in class com.hammurapi.reasoning.tutorial.rules.SpouseRules

Male spouse is husband.

inferSpouse(Spouse) - Method in class com.hammurapi.reasoning.tutorial.rules.SpouseRules

If A is a spouse of B then B is a spouse of A.

inferWife(Spouse) - Method in class com.hammurapi.reasoning.tutorial.rules.SpouseRules

Female spouse is wife.