# Math Help - How do you define 'Inference Rules' to define the Predicates?

1. ## How do you define 'Inference Rules' to define the Predicates?

My question is -
In the 'Knowledge Based' there are '3 large birds' and '1 small bird'. How do you define this in 'Inference Rule'?

# bird (a,b) to mean that birds a and b have similar sizes.

Please help I am totally lost!

Thanks,
Oz

2. How do you define this in 'Inference Rule'?
What is "this"? The following line, which starts with #?

What does it mean to define something in inference rules? Can you give an example?