Atomic sentences Atomic sentence predicate (term,...,term) or term=term2 Term function (term,...,term) or constant or variable E.g.,Brother(KingJohn,RichardTheLionheart)> (Length(LeftLegOf(Richard)), Length(LeftLegOf(KingJohn))) Atomic sentences Atomic sentence = predicate (term1 ,...,termn ) or term1 = term2 Term = function (term1 ,...,termn ) or constant or variable • E.g., Brother(KingJohn,RichardTheLionheart) > (Length(LeftLegOf(Richard)), Length(LeftLegOf(KingJohn)))