# Thread: 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.